Sciweavers

215 search results - page 5 / 43
» Functional debugging of systems-on-chip
Sort
View
FLOPS
2004
Springer
14 years 22 days ago
DDT: a Declarative Debugging Tool for Functional-Logic Languages
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
Rafael Caballero, Mario Rodríguez-Artalejo
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
14 years 4 months ago
Automating post-silicon debugging and repair
Modern IC designs have reached unparalleled levels of complexity, resulting in more and more bugs discovered after design tape-out However, so far only very few EDA tools for post...
Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
ICLP
2007
Springer
14 years 1 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
PLILP
1992
Springer
13 years 11 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson