Sciweavers

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

26

ITC
1994
IEEE

favoriteEmaildiscussreport

60views Hardware» more ITC 1994»

Transforming Behavioral Specifications to Facilitate Synthesis of Testable Designs

14 years 3 months ago

Transforming Behavioral Specifications to Facilitate Synthesis of Testable Designs

Download www.cs.ucla.edu

Sujit Dey, Miodrag Potkonjak

Real-time Traffic

Hardware | ITC 1994 |

claim paper

Related Content

» Testability analysis and improvement from VHDL behavioral specifications

» Synthesisfortestability using transformations

» Optimizing Resource Utilization and Testability Using Hot Potato Techniques

» Formal Verification for HighAssurance Behavioral Synthesis

» High Level Synthesis from SimnML Processor Models

» Definitions of Equivalence for Transformational Synthesis of Embedded Systems

» A MultiLevel Transformation Approach to HWSW Codesign A Case Study

» HardwareSoftware Codesign of Multimedia Embedded Systems the PeaCE

» Pointer recoding for creating definitive MPSoC models

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1994
Where	ITC
Authors	Sujit Dey, Miodrag Potkonjak

Comments (0)