Travelled to:1 × USA
Collaborated with:∅
Talks about:verif (2) architectur (1) streamlin (1) process (1) exploit (1)
Person: Dave Whipp
DBLP: Whipp:Dave
Contributed to:
2009Wrote 1 papers:
- DAC-2009-Whipp #architecture #process #verification
- Exploiting “architecture for verification” to streamline the verification process (DW), pp. 212–215.