A methodology for formal design of hardware control with application to cache coherence protocols.
Cindy EisnerIrit ShitsevalovRuss HooverWayne G. NationKyle L. NelsonKen ValkPublished in: DAC (2000)
Keyphrases
- control unit
- control program
- control system
- design methodology
- neural network
- hardware software co design
- case study
- real time
- data acquisition
- formal model
- conceptual framework
- hardware and software
- real time embedded
- hw sw
- virtual instrument
- application level
- hardware design
- abstraction layer
- embedded systems
- user interface
- soft systems
- mechanical systems
- hardware software
- circuit design
- formal methods
- conceptual model
- low cost