Hierarchical interface-based non-blocking verification Conferences

authors

• Leduc, Ryan
• Brandin, BA
• Wonham, WM

status

• accepted 

publication date

• January 1, 2000

published in

• Canadian Conference on Electrical and Computer Engineering  Journal

presented at event

• 2000 Canadian Conference on Electrical and Computer Engineering Conference Proceedings. Navigating to a New Era  Conference

keywords

• DISCRETE-EVENT SYSTEMS
• Engineering
• Engineering, Electrical & Electronic
• STATE MACHINES
• Science & Technology
• Technology

Digital Object Identifier (DOI)

• 10.1109/ccece.2000.849658

International Standard Book Number (ISBN) 10

• 0-7803-5957-7

start page

• 1

end page

• 6

volume

• 1