The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for VHDL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1987 (17) 1988 (15) 1989-1990 (37) 1991 (22) 1992 (54) 1993 (131) 1994 (66) 1995 (157) 1996 (150) 1997 (75) 1998 (85) 1999 (105) 2000 (88) 2001 (71) 2002 (104) 2003 (125) 2004 (120) 2005 (108) 2006 (134) 2007 (104) 2008 (107) 2009 (67) 2010 (39) 2011 (25) 2012 (15) 2013 (26) 2014 (24) 2015-2016 (17) 2017-2019 (24) 2020-2022 (17) 2023-2024 (7)
Publication types (Num. hits)
article(310) book(9) incollection(11) inproceedings(1772) phdthesis(31) proceedings(3)
Venues (Conferences, Journals, ...)
EURO-DAC(337) DATE(84) DAC(69) FPL(58) FDL(46) IEEE Des. Test Comput.(34) VLSI Design(31) FCCM(28) FPGA(27) ICECS(26) ISCAS(26) J. VLSI Signal Process.(24) DFT(23) EUROMICRO(23) SBCCI(22) ICCAD(21) More (+10 of total 490)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1460 occurrences of 724 keywords

Results
Found 2136 publication records. Showing 2136 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
14Abdullah Al Muhit, Md. Shabiul Islam, Masuri Othman Design and Analysis of Discrete Wavelet Transform(DWT) for Image Compression using VHDL. Search on Bibsonomy PDPTA The full citation details ... 2005 DBLP  BibTeX  RDF
14Caitriona Carr Automatic generation of VHDL-AMS from UML representations of mixed signal systems. Search on Bibsonomy 2005   RDF
14Jan Gutsche Effizienter Entwurfsfluss durch neue Verfahren der Logiksynthese und Technologieabbildung von VHDL-Hardwarebeschreibungen Search on Bibsonomy 2005   RDF
14Georgios Ch. Sirakoulis A TCAD system for VLSI implementation of the CVD process using VHDL. Search on Bibsonomy Integr. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Yanhui Tong, Tet Hin Yeap, Jean-Yves Chouinard VHDL implementation of a turbo decoder with log-MAP-based iterative decoding. Search on Bibsonomy IEEE Trans. Instrum. Meas. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Richard E. Haskell, Darrin M. Hanna A VHDL--Forth Core for FPGAs. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Richard Perdriau, Mohammed Ramdani, Jean-Luc Levant, Eric Tinlot, Anne-Marie Trullemans-Anckaert An EMC-oriented VHDL-AMS simulation methodology for dynamic current activity assessment. Search on Bibsonomy Microelectron. J. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Paul Molitor, Jörg Ritter 0002 VHDL - eine Einführung. Search on Bibsonomy 2004   RDF
14Bret Woz, Andreas E. Savakis A VHDL MPEG-7 shape descriptor extractor. Search on Bibsonomy FPGA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Jiri Gaisler An open-source VHDL IP library with Plug&Play configuration. Search on Bibsonomy IFIP Congress Topical Sessions The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Peter R. Wilson, J. Neil Ross, Andrew D. Brown, Tom J. Kazmierski, Jerzy Baranowski Efficient Mixed-Domain Behavioural Modeling of Ferromagnetic Hysteresis Implemented in VHDL-AMS. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Jan Gutsche, Hans-Ulrich Post Erhöhung der Synthesegenauigkeit durch Sprachraumerweiterung synthesefähiger sequentieller VHDL-Beschreibungen. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
14Jan Borgosz Object Oriented Programming Paradigms for the VHDL. Search on Bibsonomy FPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
14Patricia Desgreys, Yannick Hervé, Jean Oudinot, S. Snaidero, Mohamed Karray SoC modelling for virtual prototyping with VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Elena Martín, Laura Barrachina, Carles Ferrer 0001 Practical Case Example of Inertial MEMS Modeling with VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14C. T. Carr, T. Martin McGinnity, L. J. McDaid VHDL-AMS code gneration from UML structural representations. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14E.-P. Wagner, Joachim Haase Monte Carlo Simulation Using VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14M. Garon, Jean-Francois Diouris, Serge Toutain, Emmanuel Cottais, Yide Wang Behavioural modelling of a power amplifier in VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Yannick Hervé, Ahmed Fakhfakh Requirements and Verifications through an extension of VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Foudil Dadouche, Annick Alexandre, Bertrand Granado, Andréa Pinna 0001, Patrick Garda A VHDL-AMS Configuration for Active Pixel Sensors. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Peter R. Wilson, Tom J. Kazmierski A novel approach to mixed-domain behavioral modeling of ferromagnetic hysteresis in VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14J. Shields, Ernst Christen Mixed Nets, Conversion Models, and VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Rachid Guelaz, Djilali Kourtiche, Yannick Hervé, Mustapha Nadi Modeling of the ultrasonic nonlinear propagation with VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14S. Loued, Ahmed Fakhfakh, Mourad Loulou, Nouri Masmoudi, Yannick Hervé High Level Self-adjusted Models and VHDL-AMS; Application for a freguency synthesizer modelling. Search on Bibsonomy FDL The full citation details ... 2004 DBLP  BibTeX  RDF
14Marco Zorzi, Francesco Franzè, Nicolò Speciale, Guido Masetti A tool for the integration of new VHDL-AMS models in SPICE. Search on Bibsonomy ISCAS (4) The full citation details ... 2004 DBLP  BibTeX  RDF
14Mark Zwolinski, Andrew D. Brown Behavioural modelling of analogue faults in VHDL-AMS - a case study. Search on Bibsonomy ISCAS (5) The full citation details ... 2004 DBLP  BibTeX  RDF
14Peter R. Wilson, J. Neil Ross, Andrew D. Brown, Andrew J. Rushton Multiple domain behavioral modeling using VHDL-AMS. Search on Bibsonomy ISCAS (5) The full citation details ... 2004 DBLP  BibTeX  RDF
14Tom J. Kazmierski, Fazrena A. Hamid Behavioral modelling of RF filters in VHDL-AMS for automated architectural and parametric optimization. Search on Bibsonomy ISCAS (1) The full citation details ... 2004 DBLP  BibTeX  RDF
14Patrick Robinson, Tai-Chi Lee, Erik Henne Framework for Executing VHDL Code on FPGA. Search on Bibsonomy PDPTA The full citation details ... 2004 DBLP  BibTeX  RDF
14Bernhard Peischl, Franz Wotawa Are Error Traces Enough for Automated Fault Localization in VHDL Designs? Search on Bibsonomy WISES The full citation details ... 2004 DBLP  BibTeX  RDF
14Odysseas Efremides, Michael P. Bekakos, David J. Evans 0001 Integrated classifier simulator and neurochip VHDL implementation. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Georgios Ch. Sirakoulis, Ioannis Karafyllidis, Adonios Thanailakis A CAD system for the construction and VLSI implementation of Cellular Automata algorithms using VHDL. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil Study, comparison and application of different VHDL-based fault injection techniques for the experimental validation of a fault-tolerant system. Search on Bibsonomy Microelectron. J. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Bernhard Peischl, Franz Wotawa Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
14Haifeng Zhou, Wei Cao, Zhenghui Lin Formal semantics analysis for VHDL RTL synthesis. Search on Bibsonomy Comput. Syst. Sci. Eng. The full citation details ... 2003 DBLP  BibTeX  RDF
14B. Mongellaz, François Marc, Yves Danto Ageing simulation of MOSFET circuit using a VHDL-AMS behavioural modelling: an experimental case study. Search on Bibsonomy Microelectron. Reliab. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Peter J. Ashenden VHDL-200X: The Next Revision. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2003 DBLP  BibTeX  RDF
14Anneliese Amschler Andrews, Andrew O'Fallon, Tom Chen 0001 A Rule-Based Software Testing Method for VHDL Models. Search on Bibsonomy VLSI-SOC The full citation details ... 2003 DBLP  BibTeX  RDF
14Nazeih Botros, Adil Akaaboune, Jaafar Alghazo Modeling and Realization of the Human Growth Hormone Secretion Mechanism using VHDL and FPGAs. Search on Bibsonomy Modelling, Simulation, and Optimization The full citation details ... 2003 DBLP  BibTeX  RDF
14Richard Sandige, Albert A. Liddicoat, Bryan Mealy Synchronous State Machine Design Methodologies with VHDL and Implementations using CAD Tools. Search on Bibsonomy Modelling, Simulation, and Optimization The full citation details ... 2003 DBLP  BibTeX  RDF
14Fanny Garnier, Wolfgang Ecker Incremental Design: A VHDL based Case Study. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
14Marco Beyer, Hans-Ulrich Post VHDL-Hardware/Software-Board-Level-Simulation innerhalb eines FPGA/DSP-Entwicklungssystems. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
14Joachim Haase Regeln für die Erstellung von VHDL-AMS-Modellen. Search on Bibsonomy MBMV The full citation details ... 2003 DBLP  BibTeX  RDF
14Laurent Capocchi, Fabrice Bernardi, Dominique Federici, Paul Bisgambiglia Transformation of VHDL descriptions into DEVS models for fault modeling. Search on Bibsonomy SMC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14François Marc, B. Mongellaz, Yves Danto Reliability simulation of electronic circuits with VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Jean Oudinot, G. Overton, Aitor Endemaño Isasi, Marc P. Y. Desmulliez, Jean-Yves Fourniols, Sylvaine Muratet Micromotor Simulation with VHDL-AMS. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Alex Doboli, Hua Tang, Hui Zhang 0057 Towards High-Level Synthesis of Analog and Mixed-Signal Systems from VHDL-AMS Specifications. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Fabien Mieyeville, Matthieu Briere, Ian O'Connor, Frédéric Gaffiot, Gilles Jacquemod A VHDL-AMS library of hierarchical optoelectronic device models. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Joachim Haase Rules for Analog and Mixed-Signal VHDL-AMS Modeling. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Guillaume Monnerie, Noëlle Lewis, Dominique Dallet, Hervé Levi, M. Robbe Modelling of transient noise sources with VHDL-AMS and normative spectral interpretation. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Ahmed Fakhfakh, Mourad Loulou, Nesrine Ksentini, Nouri Masmoudi, Jean-Jacques Charlot VHDL-AMS Behavioural Modelling of a Switched Current Sigma-Delta Modulator. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Fazrena A. Hamid, Tom J. Kazmierski FIST - a VHDL-AMS based architectural synthesis strategy for integrated high-frequency analogue filters. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Rachid Guelaz, Djilali Kourtiche, Mustapha Nadi A behavioural description with VHDL-AMS of a piezo-ceramic ultrasound transducer based on the Redwood's model. Search on Bibsonomy FDL The full citation details ... 2003 DBLP  BibTeX  RDF
14Rafael Castro-López, Francisco V. Fernández 0001, Fernando Medeiro, Ángel Rodríguez-Vázquez Accurate VHDL-based simulation of Sigma-Delta modulators. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14S. R. Seward, Parag K. Lala Fault Injection in Digital Logic Circuits at the VHDL Level. Search on Bibsonomy IOLTS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Ignacio Bravo Muñoz, Álvaro Hernández, Alfredo Gardel Vicente, Raúl Mateos, José Luis Lázaro, V. Diaz Different proposals to the multiplication of 3×3 vision mask in VHDL for FPGA's. Search on Bibsonomy ETFA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Raúl Mateos, Alfredo Gardel Vicente, Álvaro Hernández, Ignacio Bravo Muñoz, C. Garcia Lossless implementation in VHDL of an image wavelet transform. Search on Bibsonomy ETFA (2) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Mohamed Karray, Patricia Desgreys, Jean-Jacques Charlot A CMOS inverter TIA modeling with VHDL-AMS. Search on Bibsonomy IWSOC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
14Jochen Mades Strukturelle Konsistenz und Regularisierung von VHDL-AMS-Modellen. Search on Bibsonomy 2003   RDF
14Nazeih M. Botros, Jian Yang, Philip Feinsilver, René Schott Hardware realization of Krawtchouk transform using VHDL modeling and FPGAs. Search on Bibsonomy IEEE Trans. Ind. Electron. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Mustapha Bourahla, Mohamed Benmohamed Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Search on Bibsonomy FMICS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14László Varga 0003, Gábor Hosszú, Ferenc Kovács Design Procedure Based on VHDL Language Transformations. Search on Bibsonomy VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Ralph Bucher, Durga Misra A Synthesizable VHDL Model of the Exact Solution for Three-dimensional Hyperbolic Positioning System. Search on Bibsonomy VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Donald B. Shaw, Dhamin Al-Khalili, Côme Rozon Fault security analysis of CMOS VLSI circuits using defect-injectable VHDL models. Search on Bibsonomy Integr. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Liyi Xiao, Yizheng Ye, Bin Li A New Synchronization Algorithm for VHDL-AMS Simulation. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14B. Mongellaz, François Marc, N. Milet-Lewis, Yves Danto Contribution to ageing simulation of complex analogue circuit using VHDL-AMS behavioural modelling language. Search on Bibsonomy Microelectron. Reliab. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Juan Carlos Baraza, Joaquin Gracia, Daniel Gil, Pedro J. Gil A prototype of a VHDL-based fault injection tool: description and application. Search on Bibsonomy J. Syst. Archit. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Peter J. Ashenden The designer's guide to VHDL, 2nd Edition. Search on Bibsonomy 2002   RDF
14Peter R. Wilson, J. Neil Ross, Mark Zwolinski, Andrew D. Brown, Yavuz Kiliç Behavioural Modelling of Operational Amplifier Faults Using VHDL-AMS. Search on Bibsonomy DATE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14David A. Sigüenza-Tortosa, Jari Nurmi VHDL-based simulation environment for Proteo NoC. Search on Bibsonomy HLDVT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Mathias Schmalisch, Hagen Ploog, Dirk Timmermann Laufzeitoptimierte VHDL Bibliothek zur Verifikation und Simulation Kryptographischer Prozessoren. Search on Bibsonomy MBMV The full citation details ... 2002 DBLP  BibTeX  RDF
14Gert Voland Is VHDL-AMS suited to meet the Challenges of Deep Submicron Integration?. Search on Bibsonomy ESM The full citation details ... 2002 DBLP  BibTeX  RDF
14Jean Oudinot, Serge Scotti, Jean Ravatin, Audrey Le-clercq, Jacky Lebrun Full Transceiver Circuit Simulation using VHDL-AMS. Search on Bibsonomy ESM The full citation details ... 2002 DBLP  BibTeX  RDF
14João M. S. Alcântara, Antônio C. C. Vieira, Federico Gálvez-Durand, Vladimir Castro Alves A Methodology for Dynamic Power Consumption Estimation Using VHDL Descriptions. Search on Bibsonomy SBCCI The full citation details ... 2002 DBLP  BibTeX  RDF
14Ahmed Fakhfakh, Hervé Levi, N. Milet-Lewis, Yves Danto Behavioral Modeling of Analogue and Mixed Integrated Systems with VHDL-AMS for RF Applications. Search on Bibsonomy SBCCI The full citation details ... 2002 DBLP  BibTeX  RDF
14Christian Côté, Zeljko Zilic Automated SystemC to VHDL translation in hardware/software codesign. Search on Bibsonomy ICECS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Raja Maghrebi, Mohamed Masmoudi Multi-slope analog-to-digital converters modeling based on VHDL-AMS. Search on Bibsonomy SMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
14Ivan de Paúl, Miquel Roca 0001, Oscar Calvo, Raul Velazco SEU fault injection in simulation environments: example of VHDL configuration on FPGA device. Search on Bibsonomy LATW The full citation details ... 2002 DBLP  BibTeX  RDF
14Norbert Bierlox Ein VHDL-Koprozessorkern für das exakte Skalarprodukt. Search on Bibsonomy 2002   RDF
14Daryl Stewart A uniform semantics for verilog and VHDL suitable for both simulation and verification Search on Bibsonomy 2002   RDF
14Krishnaprasad Thirunarayan, Robert L. Ewing Structural Operational Semantics for a Portable Subset of Behavioral VHDL-93. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Masoud Sabaei, Mehdi Dehghan 0001, Karim Faez, Majid Ahmadi A VHDL-based HW/SW cosimulation of communication systems. Search on Bibsonomy Comput. Electr. Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Mark Zwolinski A technique for transparent fault injection and simulation in VHDL. Search on Bibsonomy Microelectron. Reliab. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Peter J. Ashenden VHDL Standards. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2001 DBLP  BibTeX  RDF
14Marco Rona, Gunter Krampl A VHDL-based virtual test concept for pre-silicon test-program debug. Search on Bibsonomy ETW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Andrew J. Erickson, Muhammad E. Shaaban, Kenneth W. Hsu, Roy Czernikowski VHDL design for hardware assistance of fractal image compression. Search on Bibsonomy VCIP The full citation details ... 2001 DBLP  BibTeX  RDF
14J. Casal-Gimenez, Les T. Walczowski Distributed simulation of VHDL using Jini. Search on Bibsonomy ICECS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Donald B. Shaw, Dhamin Al-Khalili, Côme Rozon Accurate CMOS Bridge Fault Modeling with Neural Network-Based VHDL Saboteurs. Search on Bibsonomy ICCAD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Dragos Lungeanu, C.-J. Richard Shi Distributed Event-Driven Simulation of VHDL-SPICE Mixed-Signal Circuits. Search on Bibsonomy ICCD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Joaquin Gracia, Juan Carlos Baraza, Daniel Gil, Pedro J. Gil A Study of the Experimental Validation of Fault-Tolerant Systems Using Different VHDL-Based Fault Injection Techniques. Search on Bibsonomy IOLTW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Raoul Velazco, A. Bragagnini, Oscar Calvo Upset-like fault injection in VHDL descriptions: A Method and Preliminary Results. Search on Bibsonomy LATW The full citation details ... 2001 DBLP  BibTeX  RDF
14Volodymyr Beletskyy, Krzysztof Kraska Method and Validation for VHDL Case Statement Optimization. Search on Bibsonomy ACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Massimiliano Erba, Roberto Rossi, Valentino Liberali, Andrea Tettamanzi An Evolutionary Approach to Automatic Generation of VHDL Code for Low-Power Digital Filters. Search on Bibsonomy EuroGP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Ireneusz Janiszewski, Bernhard Hoppe, Hermann Meuth VHDL-Based Design and Design Methodology for Reusable High Performance Direct Digital Frequency Synthesizers. Search on Bibsonomy DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
14Christophe Lallement, François Pêcheux, Yannick Hervé A VHDL-AMS Case Study: The Incremental Design of an Efficient 3rd Generation MOS Model of a Deep Sub Micron Transistor. Search on Bibsonomy VLSI-SOC The full citation details ... 2001 DBLP  BibTeX  RDF
14Vanderlei Moraes Rodrigues, Dominique Borrione, Philippe Georgelin Using the ACL2 Theorem Prover to Reason about VHDL Components. Search on Bibsonomy RITA The full citation details ... 2000 DBLP  BibTeX  RDF
14Markus Stumptner, Franz Wotawa Using Model-Based Reasoning for Locating Faults in VHDL Designs. Search on Bibsonomy Künstliche Intell. The full citation details ... 2000 DBLP  BibTeX  RDF
14Yang Xun, Liu Mingye Cycle-Based Algorithm Used to Accelerate VHDL Simulation. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Lhaohua Pierre Induction-Oriented Verification of Replicated Architectures Described in VHDL. Search on Bibsonomy J. Circuits Syst. Comput. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
14Franz Wotawa Debugging VHDL designs using model-based reasoning. Search on Bibsonomy Artif. Intell. Eng. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #801 - #900 of 2136 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license