Sciweavers

4421 search results - page 97 / 885
» Libraries
Sort
View
FMICS
2009
Springer
15 years 8 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
DSD
2008
IEEE
85views Hardware» more  DSD 2008»
15 years 8 months ago
TASTE: Testability Analysis Engine and Opened Libraries for Digital Data Path
Testability is one of the most important factors that are considered during design cycle along with reliability, speed, power consumption, cost and other factors important for a c...
Josef Strnadel
ISCAS
2008
IEEE
160views Hardware» more  ISCAS 2008»
15 years 8 months ago
ATLAS: An adaptively formed hierarchical cell library based analog synthesis framework
— This paper presents ATLAS - a framework for automated analog circuit synthesis that comprises of both topology generation and subsequent circuit sizing. A hierarchically arrang...
Angan Das, Ranga Vemuri
WISE
2007
Springer
15 years 7 months ago
Mapping Metadata for SWHi: Aligning Schemas with Library Metadata for a Historical Ontology
What are the possibilities of Semantic Web technologies for organizations which traditionally have lots of structured data, such as metadata, available? A library is such a particu...
Junte Zhang, Ismail Fahmi, Henk Ellermann, Gosse B...
95
Voted
ERCIMDL
2007
Springer
129views Education» more  ERCIMDL 2007»
15 years 7 months ago
Know Thy Sensor: Trust, Data Quality, and Data Integrity in Scientific Digital Libraries
For users to trust and interpret the data in scientific digital libraries, they must be able to assess the integrity of those data. Criteria for data integrity vary by context, by ...
Jillian C. Wallis, Christine L. Borgman, Matthew S...