Hardware acceleration and verification of systems designed with hardware description languages (HDL)WISNIEWSKI, Remigiusz; WEGRZYN, Marek.SPIE proceedings series. 2005, pp 365-376, isbn 0-8194-5756-6, 12 p.Conference Paper

A comparison of three verification techniques: Directed testing, pseudo-random testing and property checkingBARLEY, Mike G; GALPIN, Darren; BLACKMORE, Tim et al.Design automation conference. 2002, pp 819-823, isbn 1-58113-461-4, 5 p.Conference Paper

RTL C-based methodology for designing and verifying a multi-threaded processorSEMERIA, Luc; SEAWRIGHT, Andrew; MEHRA, Renu et al.Design automation conference. 2002, pp 123-128, isbn 1-58113-461-4, 6 p.Conference Paper

Modeling of vertical and lateral phototransistors using VHDL-AMSALEXANDRE, A; PINNA, A; GRANADO, B et al.IEEE International conference on industria technologyl. 2004, isbn 0-7803-8662-0, 3Vol, Vol1, 142-147Conference Paper

High-level specification and automatic generation of IP interface monitorsOLIVEIRA, Marcio T; HU, Alan J.Design automation conference. 2002, pp 129-134, isbn 1-58113-461-4, 6 p.Conference Paper

Genus two hyperelliptic curve coprocessorBOSTON, N; CLANCY, T; LIOW, Y et al.Lecture notes in computer science. 2002, pp 400-414, issn 0302-9743, isbn 3-540-00409-2, 15 p.Conference Paper

Component reuse in B using ACL2ZIMMERMANN, Yann; TOMA, Diana.Lecture notes in computer science. 2005, pp 279-298, issn 0302-9743, isbn 3-540-25559-1, 20 p.Conference Paper

Bringing test to design: Testing in the designer's event based environmentRAJSUMAN, Rochit.IEEE/CPMT International Electronics Manufacturing Technology Symposium. 2002, pp 372-375, issn 1089-8190, isbn 0-7803-7301-4, 4 p.Conference Paper

Designing reconfigurable systems in LavaSINGH, Satnam.International Conference on Embedded Systems DesignInternational Conference on VLSI Design. 2004, pp 299-306, isbn 0-7695-2072-3, 1Vol, 8 p.Conference Paper

Functional design using behavioural and structural componentsSHARP, Richard.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshop. 2002, pp 1-14Conference Paper

In-vehicle network verification from application to physical layerPELZ, Georg; SCHAEFER, Juergen; METZNER, Dieter et al.SAE transactions. 2004, Vol 113, Num 7, pp 27-33, issn 0096-736X, 7 p.Article

Modular analysis of a circuit description language by abstract interpretation: Application to the automatic extraction of circuit shapesHYMANS, Charles.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshop. 2002, pp 1-14Conference Paper

Functional design using behavioural and structural componentsSHARP, Richard.Lecture notes in computer science. 2002, pp 324-341, issn 0302-9743, isbn 3-540-00116-6, 18 p.Conference Paper

Accelerating the CKY parsing using FPGAsBORDIM, Jacir L; ITO, Yasuaki; NAKANO, Koji et al.Lecture notes in computer science. 2002, pp 41-51, issn 0302-9743, isbn 3-540-00303-7, 11 p.Conference Paper

Small multiplier-based multiplication and division operators for Virtex-II devicesBEUCHAT, Jean-Luc; TISSERAND, Arnaud.Lecture notes in computer science. 2002, pp 513-522, issn 0302-9743, isbn 3-540-44108-5, 10 p.Conference Paper

Hw-Sw codesign of a flexible neural controller through a FPGA-based neural network programmed in VHDLPASERO, E; PERRI, M.International Joint Conference on Neural Networks. 2004, isbn 0-7803-8359-1, 4Vol, Vol4, 3161-3165Conference Paper

FPGA based accelerator for functional simulationWAGEEH, Mohamed N; WAHBA, Ayman M; SALEM, Ashraf M et al.IEEE International Symposium on Circuits and Systems. 2004, pp 317-320, isbn 0-7803-8251-X, 4 p.Conference Paper

MATLAB/Simulink based methodology for rapid-FPGA-prototypingLICKO, Miroslav; SCHIER, Jan; TICHY, Milan et al.Lecture notes in computer science. 2003, pp 984-987, issn 0302-9743, isbn 3-540-40822-3, 4 p.Conference Paper

Debugging VHDL designs using temporal process instancesKÖB, Daniel; PEISCHL, Bernhard; WOTAWA, Franz et al.Lecture notes in computer science. 2003, pp 402-415, issn 0302-9743, isbn 3-540-40455-4, 14 p.Conference Paper

A framework for VHDL combining theorem proving and symbolic simulationGEORGELIN, Philippe; BORRIONE, Dominique; OSTIER, Pierre et al.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopInternational workshop on the ACL2 theorem prover and its applications. 2002, pp 1-15Conference Paper

Global model generation for a capacitive silicon accelerometer by finite-element analysisANSEL, Y; ROMANOWICZ, B; RENAUD, P et al.Sensors and actuators. A, Physical. 1998, Vol 67, Num 1-3, pp 153-158, issn 0924-4247Conference Paper

Description and simulation of bio-inspired systems using VHDL-AMSDOMENECH-ASENSI, Ginés; LOPEZ-ALCANTUD, José A; RUIZ-MERINO, Ramon et al.Lecture notes in computer science. 2005, pp 357-365, issn 0302-9743, isbn 3-540-26319-5, 9 p.Conference Paper

A control board for optical modules of a high-energy neutrino telescopeGABRIELLI, Alessandro; GANDOLFI, Enzo; RICCI, Pierpaolo et al.Measurement science & technology (Print). 2002, Vol 13, Num 4, pp 590-597, issn 0957-0233Article

Fast prototyping with Co-operation of simulation and emulationSIAVASH BAYAT SARMADI; SEYED GHASSEM MIREMADI; GHAZANFAR ASADI et al.Lecture notes in computer science. 2002, pp 15-25, issn 0302-9743, isbn 3-540-44108-5, 11 p.Conference Paper

High-level partitioning of digital systems based on dynamically reconfigurable devicesKIELBIK, Rafal; MORENO, Juan Manuel; NAPIERALSKI, Andrzej et al.Lecture notes in computer science. 2002, pp 271-280, issn 0302-9743, isbn 3-540-44108-5, 10 p.Conference Paper