Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
COURSE SUMMARY Verification of Digital Systems
 

Summary: COURSE SUMMARY
Verification of Digital Systems
Systematic approaches to checking the functional correct-
ness of synchronous digital systems
Design Representation
Netlists
Syntax
Various Semantics
Compositionality
Intuitively, trying to model cycle-accurate designs (not nec-
essarily Boolean)
+ Simple model, quite powerful
- Cycle accuracy precludes abstraction
FSMs
strictly higher level of abstraction than netlists
formally in terms of tuples, intuitively graphs
Design Equivalence
Key: equivalence with respect to input-output behavior
DIS assumption
Notion of safe replaceability

  

Source: Aziz, Adnan - Department of Electrical and Computer Engineering, University of Texas at Austin

 

Collections: Computer Technologies and Information Sciences