Challenges of Timing Verification Tools in the Automotive Domain.
Pascal MontagSteffen GörzigPaul LeviPublished in: ISoLA (2006)
Keyphrases
- asynchronous circuits
- interactive visualizations
- domain specific
- domain experts
- lessons learned
- design principles
- decision support
- domain ontology
- technical challenges
- formal methods
- computational tools
- building blocks
- domain independent
- information retrieval
- software tools
- end users
- automotive industry
- technical solutions
- information technology