![](/img/cover-not-exists.png)
[ACM Press the 2000 conference - Yokohama, Japan (2000..-..)] Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00 - Formal verification based on assume and guarantee approach --- a case study (short paper)
Roy, Subir K., Iwashita, Hiroaki, Nakata, TsuneoYear:
2000
DOI:
10.1145/368434.368530
File:
PDF, 238 KB
2000