Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs - researchr publication

researchr

You are not signed in
Sign in
Sign up

Subir K. Roy, Rubin A. Parekhji. Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs. In 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India. pages 364-372, IEEE Computer Society, 2007. [doi]

Abstract is missing.

runs on WebDSL