ENTCS
2006
14 years 18 days ago
2006
A compiler that automatically translates recursive function definitions in higher order logic to clocked synchronous hardware is described. Compilation is by mechanised proof in t...
ICCAD
2006
IEEE
14 years 9 months ago
2006
IEEE
Analog and mixed-signal CAD looks like a nice success story: there's been significant research in building design automation tools since the late 80's, and commercial to...