Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Symbolic verification of timed asynchronous hardware protocols | 4 | 0.46 | 2013 |
| Theorem Proving in Intel Hardware Design. | 0 | 0.34 | 2009 |
| Formal verification - prove it or pitch it | 0 | 0.34 | 2003 |
| Developing Interface Libraries for Reconfigurable Data Acquisition Boards | 1 | 0.48 | 1995 |