4 search results - page 1 / 1 » charme 1999 |
CHARME
1999
Springer
13 years 10 months ago
1999
Springer
CHARME
1999
Springer
13 years 10 months ago
1999
Springer
CHARME
1999
Springer
13 years 10 months ago
1999
Springer
Abstract. This paper describes a semantic connection between the symbolic trajectory evaluation model-checking algorithm and relational verification in higher-order logic. We prov...
CHARME
1999
Springer
13 years 10 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...