The Functional Verification of Electronic Systems | lit.salon