MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "High-level design validation and test." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

16 documents found, showing 1 through 10. Next 10 →

ATOM

SpotLight: Best-First Search of FSM State Space
by C. Han Yang , David L. Dill — 1996
…Submitted to IEEE International High Level Design Validation and Test Workshop, Topic: High Level…
Cited by 7 (1 self) – Add To MetaCart

Cv
by Shuvendu K. Lahiri, Advisor Prof R, Advisor Prof R, Al E. Bryant, Al E. Bryant
…. Lahiri, Carl Pixley, Ken Albin. In Proc. IEEE High Level Design Validation and Test (HLDVT) Workshop, Nov…
Add To MetaCart

Validation of Synthesized Register-Transfer Level Designs Using Simulation and Formal Verification
by Naren Narasimhan Ravi, Ravi Kalyanaraman, Ranga Vemuri — 1996 — In High Level Design Validation and Test Workshop
… Validation and Test Workshop (HLDVT), November 1996 1 Introduction As high-level synthesis systems become…
Add To MetaCart

High-Level Design and Validation of ATM Switch
by S.P. Rajan, M. Fujita, K. Yuan, M. T-c. Lee — 1997 — In Proceedings of the IEEE International High Level Design Validation and Test Workshop
…High-Level Design and Validation of ATM Switch (appears in proceedings of IEEE International High…
Cited by 5 (0 self) – Add To MetaCart

High-Level Design Verification of Microprocessors via Error Modeling
by Hussain Al-asaad, David Van Campenhout, John P. Hayes, Trevor Mudge, Richard B. Brown — 1998 — ACM Trans. Design Automation of Electronic Systems
… International High-Level Design Validation and Test Workshop, 1997, pp. 194-201. Design Error model Fault model…
Cited by 19 (7 self) – Add To MetaCart

High-Level Test Generation for Design Verification of Pipelined Microprocessors
by David Van Campenhout — 1998
…Digest of papers: 3 rd IEEE Int. High Level Design Validation and Test Workshop, La Jolla CA…
Cited by 7 (0 self) – Add To MetaCart

Requirements Engineering Journal
by Connie Heitmeyer, Nancy Mead — 2003
… and co-validation using the SCR method. In Proceedings of the IEEE International High Level Design…
Add To MetaCart

Hardware/Software Co-Design and Co-Validation Using the SCR Method
by Ramesh Bharadwaj, Constance Heitmeyer — 1999 — In Proceedings of the IEEE International High Level Design Validation and Test Workshop (HLDVT'99
… Level Design Validation and Test Workshop (HLDVT'99), Nov 1999 Ramesh Bharadwaj and Constance Heitmeyer…
Cited by 4 (2 self) – Add To MetaCart

Techniques and Patterns for Safe and Efficient Real-Time Middleware
by Angelo Corsaro, Douglas C. Schmidt, Scheduling Disciplines”. Advisors, Ron K. Cytron, Douglas C, Alfio Lombardo — 2004
… International High Level Design, Validation and Testing Workshop, October 2002, Cannes, France. 7. M. Mousavi, G…
Cited by 2 (0 self) – Add To MetaCart

Microprocessor Simulators:
by Fundamentals Techniques And — 2000
… (PAID) # Intl. Workshop on Microprocessor Test and Verification # Intl. High Level Design Validation…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB