Sciweavers

197 search results - page 27 / 40
» Circuits, Pebbling and Expressibility
Sort
View

Book
338views
15 years 4 months ago
The Data Conversion Handbook
"The Data Conversion Handbook, edited by Walt Kester (Newnes, 2005), is written for design engineers who routinely use data converters and related circuitry. Comprising Data C...
Walt Kester
ICCAD
2001
IEEE
89views Hardware» more  ICCAD 2001»
14 years 4 months ago
Sequential SPFDs
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. B...
PEPM
2007
ACM
14 years 1 months ago
The semantics of graphical languages
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
Stephan Ellner, Walid Taha
ATVA
2004
Springer
76views Hardware» more  ATVA 2004»
14 years 27 days ago
A Temporal Assertion Extension to Verilog
Many circuit designs need to follow some temporal rules. However, it is hard to express and verify them in the past. Therefore, a temporal assertion extension to Verilog, called Te...
Kai-Hui Chang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Ku...
ISCAS
2003
IEEE
62views Hardware» more  ISCAS 2003»
14 years 23 days ago
Simple noise formulas for MOS analog design
The designer needs simple and accurate models to estimate noise in MOS transistors as a function of their size, bias point and technology. In this work, we present a simple, conti...
Alfredo Arnaud, Carlos Galup-Montoro