СТ |
Embedding Hardware Verification within a Commercial Design Framework |
1993 |
Kropf T., Kumar R., Schneider K. |
|
|
|
Lecture Notes in Computer Science |
29.06.1993 |
СТ |
Implementing a Methodology for Formally Verifying RISC Processors in HOL |
1994 |
Tahar S., Kumar R. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
21.06.1994 |
СТ |
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
A Functional Approach for Formalizing Regular Hardware Structures |
1994 |
Eisenbiegler D., Schneider K., Kumar R. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
СТ |
Automating Verification by Functional Abstraction at the System Level |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
СТ |
Implementational Issues for Verifying RISC-Pipeline Conflicts in HOL |
1994 |
Tahar S., Kumar R. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |