110
click to vote
ASPDAC
2000
ACM
15 years 7 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...