Sciweavers

215 search results - page 5 / 43
» Functional debugging of systems-on-chip
Sort
View
FLOPS
2004
Springer
15 years 8 months 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
103
Voted
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
16 years 7 days 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
124
Voted
ICLP
2007
Springer
15 years 9 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
PLILP
1992
Springer
15 years 7 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson