Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

ASPDAC
2011
ACM

favoriteEmaildiscussreport

172views Hardware» more ASPDAC 2011»

Managing complexity in design debugging with sequential abstraction and refinement

12 years 10 months ago

Managing complexity in design debugging with sequential abstraction and refinement

Download www.aspdac.com

al Abstraction and Refinement Brian Keng and Andreas Veneris University of Toronto ASPASP--DAC 2011DAC 2011

Brian Keng, Andreas G. Veneris

Real-time Traffic

ASPDAC 2011 | Hardware | Keng | University Of Toronto | Veneris |

claim paper

Related Content

» Managing Complexity in Large Learning Robotic Systems

» A RefinementBased Compositional Reasoning Framework for Pipelined Machine Verification

» SoCC efficient programming abstractions for heterogeneous multicore systems on chip

» Translation Validation of HighLevel Synthesis

» Automatic generation of Cycle Accurate and Cycle Count Accurate transaction level bus mode...

» Beyond RTL Advanced Digital System Design

» The GRED Graphical Editor for the GRADE Parallel Program Development Environment

» Teaching SystemLevel Design Using SpecC and SystemC

» An Approach To Data Distributions in Chapel

Post Info
More Details (n/a)

Added	24 Aug 2011
Updated	24 Aug 2011
Type	Journal
Year	2011
Where	ASPDAC
Authors	Brian Keng, Andreas G. Veneris

Comments (0)