Cargando…

Logic synthesis and verification algorithms

Detalles Bibliográficos
Autor principal:	Hachtel, Gary D
Lenguaje:	eng
Publicado:	Springer 1996
Materias:	Engineering
Acceso en línea:	http://cds.cern.ch/record/1137933

Ejemplares similares

New data structures and algorithms for logic synthesis and verification
por: Amaru, Luca Gaetano
Publicado: (2017)

Computer logic, testing and verification
por: Roth, John Paul
Publicado: (1980)

Logic design algorithms
por: Zissos, D
Publicado: (1972)

Advanced logic synthesis
por: Reis, André Inácio, et al.
Publicado: (2017)

Accuracy verification methods: theory and algorithms
por: Mali, Olli, et al.
Publicado: (2014)

Sequential logic: analysis and synthesis
por: Cavanagh, Joseph
Publicado: (2007)

Finite state machine logic synthesis for complex programmable logic devices
por: Czerwinski, Robert, et al.
Publicado: (2013)

VHDL Coding and Logic Synthesis with Synopsys
por: Lee, Weng Fook
Publicado: (2000)

Logic synthesis for FPGA-based finite state machines
por: Barkalov, Alexander, et al.
Publicado: (2016)

Reversible logic synthesis methodologies with application to quantum computing
por: Taha, Saleem Mohammed Ridha
Publicado: (2016)

Advanced verification topics
por: Bhattacharya, Bishnupriya, et al.
Publicado: (2011)

Reliability verification, testing and analysis in engineering design
por: Wasserman, Gary S
Publicado: (2002)

Digital logic design using verilog: coding and RTL synthesis
por: Taraate, Vaibbhav
Publicado: (2016)

Non-logic devices in logic processes
por: Ma, Yanjun, et al.
Publicado: (2017)

Introduction to logic circuits & logic design with verilog
por: LaMeres, Brock J
Publicado: (2017)

Introduction to logic circuits & logic design with VHDL
por: LaMeres, Brock J
Publicado: (2017)

Handbook of logic circuits
por: Lenk, John D
Publicado: (1972)

Logical design manual
por: Copperwhite, G W, et al.
Publicado: (1968)

Intelligent control: a hybrid approach based on fuzzy logic, neural networks and genetic algorithms
por: Siddique, Nazmul
Publicado: (2014)

Digital magnetic logic
por: Bennion, David R, et al.
Publicado: (1969)

Logic circuits
por: Morris, Noel Malcolm
Publicado: (1969)

Principles of functional verification
por: Meyer, Andreas
Publicado: (2004)

Digital logic techniques
por: Stonham, John
Publicado: (1996)

Introduction to logic design
por: Shiva, Sajjan G
Publicado: (1998)

Intuitionistic fuzzy logics
por: T Atanassov, Krassimir
Publicado: (2017)

The logic of thermostatistical physics
por: Emch, Gérard G, et al.
Publicado: (2002)

Transistors in logical circuits
por: Korthals-Altes, J P
Publicado: (1965)

Electronic logic circuits
por: Gibson, J R
Publicado: (1979)

Digital logic design
por: Holdsworth, Brian
Publicado: (1982)

Manual of logic circuits
por: Maley, Gerald A
Publicado: (1970)

Integrated injection logic
por: Smith, James E
Publicado: (1980)

Advanced Logic Pro
Publicado: (2005)

The essence of logic circuits
por: Unger, Stephen H
Publicado: (1997)

Synchronous precharge logic
por: Smoszna, Marek
Publicado: (2012)

Logically-determined design
por: Fant, K
Publicado: (2005)

Fundamentals of logic design
por: Roth, C H
Publicado: (2004)

Contemporary logic design
por: Katz, Randy H, et al.
Publicado: (2005)

Digital Logic Design
por: Holdsworth, B
Publicado: (2002)

Programmable logic controllers
por: Bolton, W
Publicado: (2006)

Embedded software verification and debugging
por: Lettnin, Djones, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_fjomgjhkjcnad1oo9udr32qqds