Sciweavers

215 search results - page 5 / 43
» Functional debugging of systems-on-chip
Sort
View
151
Voted
FLOPS
2004
Springer
15 years 11 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
135
Voted
ICCAD
2007
IEEE
99views Hardware» more  ICCAD 2007»
16 years 2 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
15 years 12 months ago
Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
Rafael Caballero, Mario Rodríguez-Artalejo,...
133
Voted
IFL
2007
Springer
133views Formal Methods» more  IFL 2007»
15 years 12 months ago
Debugging Lazy Functional Programs by Asking the Oracle
Bernd Braßel, Holger Siegel
PLILP
1992
Springer
15 years 10 months ago
Algorithmic Debugging for Lazy Functional Languages
Henrik Nilsson, Peter Fritzson