Travelled to:1 × USA
Collaborated with:M.Kantrowitz
Talks about:microprocessor (1) coverag (1) correct (1) analysi (1) verif (1) simul (1) check (1) cchip (1) alpha (1) what (1)
Person: Lisa M. Noack
DBLP: Noack:Lisa_M=
Contributed to:
1996Wrote 1 papers:
- DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what
- I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.