2 search results - page 1 / 1 » Formal verification of a pervasive interconnect bus system i... |
72
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
171
Voted
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...