Sciweavers

66
Voted
ASPDAC
2000
ACM
97views Hardware» more  ASPDAC 2000»
15 years 1 months ago
Symbolic debugging of globally optimized behavioral specifications
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 ...
Inki Hong, Darko Kirovski, Miodrag Potkonjak, Mari...