Function-Inherent Code Checking: A New Low Cost On-Line Testing Approach for High Performance Microprocessor Control Logic.
Cecilia MetraDaniele RossiMartin OmañaAbhijit JasRajesh GalivanchePublished in: ETS (2008)
Keyphrases
- low cost
- data acquisition
- sound and complete axiomatization
- low power consumption
- source code
- multi valued
- control system
- cost effective
- low power
- code generation
- control method
- control strategy
- embedded dram
- concurrent programs
- classical logic
- real time
- test cases
- test suite
- modal logic
- logic programming
- programs written
- software development
- test driven development
- open source
- neural network