Login / Signup
Synchronization Verification in System-Level Design with ILP Solvers.
Thanyapat Sakunkonchak
Satoshi Komatsu
Masahiro Fujita
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
</>
case study
database
information extraction
engineering design
design decisions
optimal design
design space
higher level
building blocks
computer aided
design principles
knowledge level
signature verification
functional verification