At-Speed Testing with Timing Exceptions and Constraints-Case Studies.
Dhiraj GoswamiKun-Han TsaiMark KassabTakeo KobayashiJanusz RajskiBruce SwansonDarryl WaltersYasuo SatoToshiharu AsakaTakashi AikyoPublished in: ATS (2006)
Keyphrases
- case study
- lessons learned
- high speed
- real world
- real time
- data sets
- artificial intelligence
- knowledge base
- open source
- detailed descriptions
- database
- linear constraints
- constrained optimization
- constraint programming
- constraint satisfaction
- test cases
- artificial neural networks
- multiscale
- information systems
- computer vision
- learning algorithm
- data mining