A behavioral model for co-design
- 17 September 1999
- book chapter
- Published by Springer Nature
- p. 1420-1438
- https://doi.org/10.1007/3-540-48118-4_25
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A hardware semantics based on temporal intervalsPublished by Springer Nature ,2005
- A Guide to VHDLPublished by Springer Nature ,1992
- A calculus of durationsInformation Processing Letters, 1991
- The Verilog® Hardware Description LanguagePublished by Springer Nature ,1991
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985
- Instruction set processor specifications (ISPS): The notation and its applicationsIEEE Transactions on Computers, 1981