Automated Generation of Built-In Self-Repair Architectures for Random Logic SoC Cores.

Roland Dobai Marcel Baláz Mária Fischerová

Published in: DSD (2012)

Keyphrases

semi automated
multi core processors
fully automated
automated analysis
real time
database
logic programming
sound and complete axiomatization
computer aided
modal logic
low power
proof theory
uniformly distributed
abdominal aortic aneurysm
multi valued
hardware and software
semi automatic
database systems