Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.
F. J. S. MacárioMarcel Vinícius Medeiros OliveiraPublished in: SBMF (2015)
Keyphrases
- low cost
- constraint satisfaction problems
- real time
- hardware designs
- multi channel
- computing systems
- hardware and software
- integrated circuit
- decomposition methods
- high level
- constraint satisfaction
- phase transition
- data acquisition
- constraint propagation
- automatically generate
- np complete
- arc consistency
- vlsi implementation
- random instances