|
|
|
|
|
|
|
|
|
|
|
| Category |
Computers: Microprocessors
|
|
| Category 2 |
Computers: Hardware
|
|
| Category 3 |
Computers: Networking
|
|
|
|
|
|
|
|
|
|
| Description |
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
|
|
|
|
