Old Web
English
Sign In
Acemap
>
Paper
>
Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation
Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation
2019
Wilayat Khan
Basim Azam
Noman Shahid
Abdul Moeed Khan
Ahtisham Shaheen
Keywords:
Formal equivalence checking
Engineering drawing
Control engineering
Digital electronics
Computer Aided Design
Formal verification
Computer science
Programming language
digital logic circuits
theorem provers
Correction
Source
Cite
Save
Machine Reading By IdeaReader
22
References
2
Citations
NaN
KQI
[]