Formal Verification of Speed-Dependent Asynchronous Cicuits Using Symbolic Model Checking of branching Time Regular Temporal Logic

• Authors:

• Kiyoharu Hamaguchi;Hiromi Hiraishi;Shuzo Yajima

• Affiliations:

• -;-;-

• Venue:
• CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
• Year:
• 1991