Areas of Interest
* Validation of microprocessors and SOCs
* Experiences on test and verification of high performance processors and SOCs
* Test/verification of multimedia processors and SOCs
* Performance testing
* High-level test generation for functional verification
* Emulation techniques
* Silicon debugging
* Formal techniques and their applications
* Verification coverage
* Test generation at the transistor level
* Equivalence checking of custom circuits at the transistor level
* ESL Methodology
* Virtual Platforms
* Software verification
* Circuit level verification
* Switch-level circuit modeling
* Timing verification techniques
* Path analysis for verification or test
* Design error models
* Design error diagnosis
* Design for testability or verifiability
* Optimizing SAT procedures for application to testing and formal verification
"Microprocessor Test and Verification 2009" related software downloads listed on Softarea51.com software directory
Email Verifier
This is a Professional email address verification tool.Rapid and accurate test mail address is real and effective.
EMU8086
EMU8086 - 8086 Microprocessor Emulator
Digital 3D Screensaver
Get ready for an exciting virtual journey inside the strange world of your microprocessor where endless strings of digits make things happen, things like the internet, the virtual reality, the artificial intelligence and everything else.
Vision Test
Vision test for personal home use. Check visual acuity, field of view and color blindness.
Qanexus
Qanexus automates the administration of test cases, test scripts and test results. Qanexus maintains all the links between the different items of test documentation and ensures that all the information is never more than a few clicks away.
TeraCash
Check Cashing Software that works for you!
TeraCash is designed to help your company run a successful and profitable check cashing business! Easy to use screens, ID Verification, Check Verification and Biometrics security.
Blood Test Results Tool
Blood Test Results Tool. What does the test result mean? Blood Test Results Tool can explain what every test means and what it checks for. The main goal of this software is to help you spot certain flags on the lab report to ask your doctor about.
Test Maestro II
Test Maestro II is an advanced Windows based Test Bank and Test Generator for teachers. It creates fully formatted tests from a test bank of questions you enter or import. It includes a full featured word processor for composing the questions.
