259 search results - page 14 / 52 » Using Transformations and Verification in Circuit Design |
93
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
This paper introduces a new unobtrusive and cost-effective method for the capture and compression of program execution traces in real-time, which is based on a double move-to-fron...
108
Voted
FMOODS
2006
15 years 1 months ago
2006
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
107
click to vote
EPK
2006
15 years 1 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
114
Voted
GLVLSI
2008
IEEE
15 years 16 days ago
2008
IEEE
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
109
click to vote
VLSID
2006
IEEE
15 years 6 months ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...