Beth Levy

Publication Activity (10 Years)

Years Active: 1984-1992
Publications (10 Years): 0

Publications

Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas
Using the State Delta Verification System (SDVS) for Hardware Verification. TPCD (1992)
Beth Levy
Microcode verification using SDVS-the method and a case study. MICRO (1984)