66 search results - page 14 / 14 » A Stochastic Interpretation of Propositional Dynamic Logic: ... |
188
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...