152
click to vote
FDL
2005
IEEE
16 years 20 hour ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...