High-level modeling using extended timing diagrams - A formalism for the behavioral specification of digital hardware.
Philippe MoeschlerHans Peter AmannFausto PellandiniPublished in: EURO-DAC (1993)
Keyphrases
- high level
- low level
- low cost
- digital libraries
- real time
- unified modeling language
- low level features
- hardware and software
- digital content
- modeling method
- advanced transaction models
- camera phones
- asynchronous circuits
- specification language
- computing systems
- formal model
- conceptual model
- semantic information
- knowledge representation