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

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]

The following publications are possibly variants of this publication:

A survey of types of text noise and techniques to handle noisy textL. Venkata Subramaniam, Shourya Roy, Tanveer A. Faruquie, Sumit Negi. and 2009: 115-122 [doi]

runs on WebDSL