Easy Formal Specification and Validation of Unbounded Networks-on-Chips Architectures.
Freek VerbeekJulien SchmaltzPublished in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
- formal specification
- specification languages
- model checking
- specification language
- object oriented design
- process algebra
- reverse engineering
- concurrent systems
- design methodologies
- design methodology
- functional units
- data abstraction
- formal methods
- network structure
- high speed
- integrated circuit
- database
- social networks
- cooperative
- artificial intelligence