All Categories : Technical Papers : White Papers Bookmark and Share

Title : Automatic Verification of RT-Level Microprocessor Cores Using Behavioral Specifications: a Case Study
Company : Politecnico di Torino
Date : 22-Sep-2008
Downloads : 9

Rate This File
5 Stars
4 Stars
3 Stars
2 Stars
1 Star

The actual operating life time for many electronic systems turned out being much longer than originally foreseen, leading to the use of obsolete components in critical projects. To skip microprocessor obsolescence problems, companies should have bought larger stocks of components when still available, or are forced to find parts in secondary markets later. Alternatively, a suitable low- cost solution could be replacing the obsolete component emulating its functionalities with a programmable logic device. However, design verification of microprocessors is well known as a challenging task. This paper proposes a coupled methodology to generate test-programs, using complementary techniques: one pseudo-exhaustive and one driven by an evolutionary optimizer. As a case study, the Motorola 6800 was targeted.
User Reviews More Reviews Review This File
Atrenta Spring Clean!


 Featured Video
 Editorial
 Jobs
Design Environment Flow Architect, location Nijmegen for NXP Semiconductors at Nijmegen, Netherlands
Sr. Applications Engineer for SpringSoft USA, Inc. at San Jose, CA
Technical R&D Manager for SpringSoft USA, Inc. at San Jose, CA
 Upcoming Events
EDA Consortium 2012 Spring Members Meeting at Silicon Valley Bank 3005 Tasman Drive Santa Clara CA - May 31, 2012
DAC 2012 at San Francisco CA - Jun 3 - 7, 2012
AMIQ
Calypto:Empowering the Next Level of Design



Click here for Internet Business Systems © 2012 Internet Business Systems, Inc.
+1 (408) 850-9246 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and EngineeringTechJobsCafe - Technical Jobs and ResumesGISCafe - Geographical Information Services	MCADCafe - Mechanical Design and EngineeringNanotechCafe - Nanotechnology ResourcesShareCG  - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy