Sciweavers

10 search results - page 1 / 2
» Managing complexity in design debugging with sequential abst...
Sort
View
ASPDAC
2011
ACM
172views Hardware» more  ASPDAC 2011»
12 years 7 months ago
Managing complexity in design debugging with sequential abstraction and refinement
al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011
Brian Keng, Andreas G. Veneris
JIRS
2000
133views more  JIRS 2000»
13 years 3 months ago
Managing Complexity in Large Learning Robotic Systems
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
Kynan Eng, Alec P. Robertson, Deane R. Blackman
TVLSI
2008
124views more  TVLSI 2008»
13 years 3 months ago
A Refinement-Based Compositional Reasoning Framework for Pipelined Machine Verification
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
Panagiotis Manolios, Sudarshan K. Srinivasan
CASES
2008
ACM
13 years 5 months ago
SoC-C: efficient programming abstractions for heterogeneous multicore systems on chip
fficient Programming Abstractions for Heterogeneous Multicore Systems on Chip Alastair D. Reid Krisztian Flautner Edmund Grimley-Evans ARM Ltd Yuan Lin University of Michigan The ...
Alastair D. Reid, Krisztián Flautner, Edmun...
TCAD
2010
121views more  TCAD 2010»
12 years 10 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta