Verification of Large Systems in Silicon

Publisher Website

1 January 1997

book chapter
Published by Springer Nature

p. 215-239
https://doi.org/10.1007/978-0-387-35064-6_20

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Embedded System Co-Design
Published by Springer Nature ,1996
Specification and analysis of system architecture using Rapide
IEEE Transactions on Software Engineering, 1995