Verification of asynchronous circuits using Time Petri Net unfolding

被引：18

作者：

Semenov, A ^{[1
]}

Yakovlev, A ^{[1
]}

机构：

[1] UNIV NEWCASTLE,DEPT COMP SCI,NEWCASTLE TYNE NE1 7RU,TYNE & WEAR,ENGLAND

来源：

33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996 | 1996年

关键词：

D O I：

10.1109/DAC.1996.545546

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：59 / 62

页数：4