| * | 2009 |
|---|
| 86 | EE | Praveen Raghavan,
Andy Lambrechts,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
Distributed Loop Controller for Multithreading in Unithreaded ILP Architectures.
IEEE Trans. Computers 58(3): 311-321 (2009) |
| 85 | EE | Praveen Raghavan,
Andy Lambrechts,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
EMPIRE: Empirical power/area/timing models for register files.
Microprocessors and Microsystems - Embedded Hardware Design 33(4): 295-300 (2009) |
| 2008 |
|---|
| 84 | EE | Praveen Raghavan,
Andy Lambrechts,
Javed Absar,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
Coffee: COmpiler Framework for Energy-Aware Exploration.
HiPEAC 2008: 193-208 |
| 83 | EE | Mladen Berekovic,
Frank Bouwens,
Tom Vander Aa,
Diederik Verkest:
Interconnect Power Analysis for a Coarse-Grained Reconfigurable Array Processor.
PATMOS 2008: 449-457 |
| 82 | EE | Andy Lambrechts,
Praveen Raghavan,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
Energy-Aware Interconnect Optimization for a Coarse Grained Reconfigurable Processor.
VLSI Design 2008: 201-207 |
| 81 | EE | Anthony Leroy,
Dragomir Milojevic,
Diederik Verkest,
Frédéric Robert,
Francky Catthoor:
Concepts and Implementation of Spatial Division Multiplexing for Guaranteed Throughput in Networks-on-Chip.
IEEE Trans. Computers 57(9): 1182-1195 (2008) |
| 80 | EE | Vincent Nollet,
Prabhat Avasare,
Hendrik Eeckhaut,
Diederik Verkest,
Henk Corporaal:
Run-Time Management of a MPSoC Containing FPGA Fabric Tiles.
IEEE Trans. VLSI Syst. 16(1): 24-33 (2008) |
| 79 | EE | David Atienza,
Praveen Raghavan,
José Luis Ayala,
Giovanni De Micheli,
Francky Catthoor,
Diederik Verkest,
Marisa López-Vallejo:
Joint hardware-software leakage minimization approach for the register file of VLIW embedded architectures.
Integration 41(1): 38-48 (2008) |
| 2007 |
|---|
| 78 | EE | Praveen Raghavan,
Satyakiran Munaga,
Estela Rey Ramos,
Andy Lambrechts,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
A Customized Cross-Bar for Data-Shuffling in Domain-Specific SIMD Processors.
ARCS 2007: 57-68 |
| 77 | EE | Praveen Raghavan,
Andy Lambrechts,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest,
Henk Corporaal:
Very wide register: an asymmetric register file organization for low power embedded processors.
DATE 2007: 1066-1071 |
| 76 | EE | V. Ferentinos,
Bert Geelen,
Francky Catthoor,
Gauthier Lafruit,
Thanos Stouraitis,
Rudy Lauwereins,
Diederik Verkest:
Adaptive mapping to resource availability for dynamic wavelet-based applications.
ESTImedia 2007: 53-58 |
| 75 | EE | Praveen Raghavan,
Nandhavel Sethubalasubramanian,
Satyakiran Munaga,
Estela Rey Ramos,
Murali Jayapala,
Oliver Weiss,
Francky Catthoor,
Diederik Verkest:
Semi Custom Design: A Case Study on SIMD Shufflers.
PATMOS 2007: 433-442 |
| 74 | EE | José L. Ayala,
Marisa López-Vallejo,
David Atienza,
Praveen Raghavan,
Francky Catthoor,
Diederik Verkest:
Energy-aware compilation and hardware design for VLIW embedded systems.
IJES 3(1/2): 73-82 (2007) |
| 2006 |
|---|
| 73 | EE | Praveen Raghavan,
Andy Lambrechts,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest:
Distributed loop controller architecture for multi-threading in uni-threaded VLIW processors.
DATE 2006: 339-344 |
| 72 | | Vincent Nollet,
Prabhat Avasare,
Diederik Verkest,
Henk Corporaal:
Exploiting Hierarchical Configuration to Improve Run-Time MPSoC Task Assignment.
ERSA 2006: 49-55 |
| 71 | EE | David Atienza,
Praveen Raghavan,
José L. Ayala,
Giovanni De Micheli,
Francky Catthoor,
Diederik Verkest,
Marisa López-Vallejo:
Compiler-Driven Leakage Energy Reduction in Banked Register Files.
PATMOS 2006: 107-116 |
| 70 | EE | Daniele Paolo Scarpazza,
Praveen Raghavan,
David Novo,
Francky Catthoor,
Diederik Verkest:
Software Simultaneous Multi-Threading, a Technique to Exploit Task-Level Parallelism to Improve Instruction- and Data-Level Parallelism.
PATMOS 2006: 12-23 |
| 69 | EE | Bert Geelen,
Aris Ferentinos,
Francky Catthoor,
Arnout Vandecappelle,
Gauthier Lafruit,
Thanos Stouraitis,
Rudy Lauwereins,
Diederik Verkest:
Software-Controlled Scratchpad Mapping Strategies for Wavelet-Based Applications.
SiPS 2006: 362-367 |
| 2005 |
|---|
| 68 | | Vassilis Paliouras,
Johan Vounckx,
Diederik Verkest:
Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings
Springer 2005 |
| 67 | EE | Andy Lambrechts,
Praveen Raghavan,
Anthony Leroy,
Guillermo Talavera,
Tom Vander Aa,
Murali Jayapala,
Francky Catthoor,
Diederik Verkest,
Geert Deconinck,
Henk Corporaal,
Frédéric Robert,
Jordi Carrabina:
Power Breakdown Analysis for a Heterogeneous NoC Platform Running a Video Application.
ASAP 2005: 179-184 |
| 66 | EE | Anthony Leroy,
Paul Marchal,
Adelina Shickova,
Francky Catthoor,
Frédéric Robert,
Diederik Verkest:
Spatial division multiplexing: a novel approach for guaranteed throughput on NoCs.
CODES+ISSS 2005: 81-86 |
| 65 | EE | Vincent Nollet,
Prabhat Avasare,
Jean-Yves Mignolet,
Diederik Verkest:
Low Cost Task Migration Initiation in a Heterogeneous MP-SoC.
DATE 2005: 252-253 |
| 64 | EE | Prabhat Avasare,
Vincent Nollet,
Jean-Yves Mignolet,
Diederik Verkest,
Henk Corporaal:
Centralized end-to-end flow control in a best-effort network-on-chip.
EMSOFT 2005: 17-20 |
| 63 | EE | Richard Stahl,
Francky Catthoor,
Diederik Verkest:
Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs.
ICPP Workshops 2005: 153-160 |
| 62 | EE | Richard Stahl,
Francky Catthoor,
Diederik Verkest:
Object-Distribution Analysis for Program Decomposition and Re-Clustering.
IPDPS 2005 |
| 61 | EE | Bert Geelen,
Gauthier Lafruit,
V. Ferentinos,
Rudy Lauwereins,
Diederik Verkest:
Memory Hierarchy Energy Cost of a Direct Filtering Implementation of the Wavelet Transform.
PATMOS 2005: 107-116 |
| 60 | EE | Bingfeng Mei,
Andy Lambrechts,
Diederik Verkest,
Jean-Yves Mignolet,
Rudy Lauwereins:
Architecture Exploration for a Reconfigurable Architecture Template.
IEEE Design & Test of Computers 22(2): 90-101 (2005) |
| 59 | EE | Javier Resano,
Daniel Mozos,
Diederik Verkest,
Francky Catthoor:
A Reconfiguration Manager for Dynamically Reconfigurable Hardware.
IEEE Design & Test of Computers 22(5): 452-460 (2005) |
| 2004 |
|---|
| 58 | EE | Vincent Nollet,
Théodore Marescaux,
Diederik Verkest,
Jean-Yves Mignolet,
Serge Vernalde:
Operating-system controlled network on chip.
DAC 2004: 256-259 |
| 57 | EE | Bingfeng Mei,
Serge Vernalde,
Diederik Verkest,
Rudy Lauwereins:
Design Methodology for a Tightly Coupled VLIW/Reconfigurable Matrix Architecture: A Case Study.
DATE 2004: 1224-1229 |
| 56 | EE | Richard Stahl,
Francky Catthoor,
Rudy Lauwereins,
Diederik Verkest:
Design-Time Data-Access Analysis for Parallel Java Programs with Shared-Memory Communication Model.
Euro-Par 2004: 206-213 |
| 55 | EE | Andrei Bartic,
Dirk Desmet,
Jean-Yves Mignolet,
Théodore Marescaux,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins,
J. Miller,
Frédéric Robert:
Network-on-Chip for Reconfigurable Systems: From High-Level Design Down to Implementation.
FPL 2004: 637-647 |
| 54 | EE | Richard Stahl,
Robert Pasko,
Francky Catthoor,
Rudy Lauwereins,
Diederik Verkest:
High-Level Data-Access Analysis for Characterisation of (Sub)task-Level Parallelism in Java.
HIPS 2004: 31-40 |
| 53 | EE | Richard Stahl,
Robert Pasko,
Francky Catthoor,
Rudy Lauwereins,
Diederik Verkest:
High-Level Data-Access Analysis for Characterisation of (Sub)task-Level Parallelism in Java.
IPDPS 2004: 31-40 |
| 52 | EE | Andy Lambrechts,
Tom Vander Aa,
Murali Jayapala,
Guillermo Talavera,
Anthony Leroy,
Adelina Shickova,
Francisco Barat,
Bingfeng Mei,
Francky Catthoor,
Diederik Verkest,
Geert Deconinck,
Henk Corporaal,
Frédéric Robert,
Jordi Carrabina Bordoll:
Design Style Case Study for Embedded Multi Media Compute Nodes.
RTSS 2004: 104-113 |
| 51 | EE | Théodore Marescaux,
Vincent Nollet,
Jean-Yves Mignolet,
Andrei Bartic,
W. Moffat,
Prabhat Avasare,
Paul Coene,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Run-time support for heterogeneous multitasking on reconfigurable SoCs.
Integration 38(1): 107-130 (2004) |
| 50 | EE | Javier Resano,
Diederik Verkest,
Daniel Mozos,
Serge Vernalde,
Francky Catthoor:
A hybrid design-time/run-time scheduling flow to minimise the reconfiguration overhead of FPGAs.
Microprocessors and Microsystems 28(5-6): 291-301 (2004) |
| 2003 |
|---|
| 49 | EE | Bingfeng Mei,
Serge Vernalde,
Diederik Verkest,
Hugo De Man,
Rudy Lauwereins:
Exploiting Loop-Level Parallelism on Coarse-Grained Reconfigurable Architectures Using Modulo Scheduling.
DATE 2003: 10296-10301 |
| 48 | EE | Jean-Yves Mignolet,
Vincent Nollet,
Paul Coene,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Infrastructure for Design and Management of Relocatable Tasks in a Heterogeneous Reconfigurable System-on-Chip.
DATE 2003: 10986-10993 |
| 47 | | Javier Resano,
Diederik Verkest,
Daniel Mozos,
Serge Vernalde,
Francky Catthoor:
Run-Time Scheduling for Multimedia Applications on Dynamically Reconfigurable Systems.
ESTImedia 2003: 156-162 |
| 46 | | Vincent Nollet,
Jean-Yves Mignolet,
Andrei Bartic,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Hierarchical Run-Time Reconfiguration Managed by an Operating System for Reconfigurable Systems.
Engineering of Reconfigurable Systems and Algorithms 2003: 81-87 |
| 45 | EE | Javier Resano,
Diederik Verkest,
Daniel Mozos,
Serge Vernalde,
Francky Catthoor:
Application of Task Concurrency Management on Dynamically Reconfigurable Hardware Platforms.
FCCM 2003: 278-279 |
| 44 | EE | Javier Resano,
Daniel Mozos,
Diederik Verkest,
Serge Vernalde,
Francky Catthoor:
Run-Time Minimization of Reconfiguration Overhead in Dynamically Reconfigurable Systems.
FPL 2003: 585-594 |
| 43 | EE | Théodore Marescaux,
Jean-Yves Mignolet,
Andrei Bartic,
W. Moffat,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Networks on Chip as Hardware Components of an OS for Reconfigurable Systems.
FPL 2003: 595-605 |
| 42 | EE | Bingfeng Mei,
Serge Vernalde,
Diederik Verkest,
Hugo De Man,
Rudy Lauwereins:
ADRES: An Architecture with Tightly Coupled VLIW Processor and Coarse-Grained Reconfigurable Matrix.
FPL 2003: 61-70 |
| 41 | EE | Vincent Nollet,
Paul Coene,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Designing an Operating System for a Heterogeneous Reconfigurable So.
IPDPS 2003: 174 |
| 40 | EE | Richard Stahl,
Robert Pasko,
Luc Rijnders,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins,
Francky Catthoor:
Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java.
SCOPES 2003: 313-328 |
| 39 | EE | Frederik Vermeulen,
Francky Catthoor,
Lode Nachtergaele,
Diederik Verkest,
Hugo De Man:
Power-efficient flexible processor architecture for embedded applications.
IEEE Trans. VLSI Syst. 11(3): 376-385 (2003) |
| 38 | EE | Theofanis Orphanoudakis,
Stylianos Perissakis,
Kostas Pramataris,
Nikos A. Nikolaou,
Nicholas Zervos,
Matthias Steck,
Christoph Baumhof,
Diederik Verkest,
Chantal Ykman-Couvreur,
Gregory Doumenis,
Fotis Karoubalis,
Ioanna Theologitou,
Dionisios I. Reisis,
George E. Konstantoulakis,
Nikos Vogiatzis:
Hardware Architectures for the Efficient Implementation of Multi-Service Broadband Access and Multimedia Home Networks.
Telecommunication Systems 23(3-4): 351-367 (2003) |
| 2002 |
|---|
| 37 | EE | Chantal Ykman-Couvreur,
J. Lambrecht,
Diederik Verkest,
Francky Catthoor,
Aristides Nikologiannis,
George E. Konstantoulakis:
System-level performance optimization of the data queueing memory management in high-speed network processors.
DAC 2002: 518-523 |
| 36 | EE | Steve Guccione,
Diederik Verkest,
Ivo Bolsens:
Design Technology for Networked Reconfigurable FPGA Platforms.
DATE 2002: 994-999 |
| 35 | EE | Dirk Desmet,
Prabhat Avasare,
Paul Coene,
Stijn Decneut,
Filip Hendrickx,
Théodore Marescaux,
Jean-Yves Mignolet,
Robert Pasko,
Patrick Schaumont,
Diederik Verkest:
Design of Cam-E-leon, a Run-Time Reconfigurable Web Camera.
Embedded Processor Design Challenges 2002: 274-290 |
| 34 | EE | Yajun Ha,
Radovan Hipik,
Serge Vernalde,
Diederik Verkest,
Marc Engels,
Rudy Lauwereins,
Hugo De Man:
Adding Hardware Support to the HotSpot Virtual Machine for Domain Specific Applications.
FPL 2002: 1135-1138 |
| 33 | EE | Théodore Marescaux,
Andrei Bartic,
Diederik Verkest,
Serge Vernalde,
Rudy Lauwereins:
Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs.
FPL 2002: 795-805 |
| 32 | EE | Chantal Ykman-Couvreur,
J. Lambrecht,
Diederik Verkest,
Francky Catthoor,
Bengt Svantesson,
Ahmed Hemani,
F. Wolf:
Dynamic memory management methodology applied to embedded telecom network systems.
IEEE Trans. VLSI Syst. 10(5): 650-667 (2002) |
| 2001 |
|---|
| 31 | EE | Chun Wong,
Paul Marchal,
Peng Yang,
Francky Catthoor,
Hugo De Man,
Aggeliki S. Prayati,
Nathalie Cossement,
Rudy Lauwereins,
Diederik Verkest:
Task concurrency management methodology summary.
DATE 2001: 813 |
| 30 | EE | Diederik Verkest,
Peng Yang,
Chun Wong,
Paul Marchal:
Optimisation Problems for Dynamic Concurrent Task-Based Systems.
ICCAD 2001: 265- |
| 29 | | Miguel Miranda,
C. Ghez,
Chidamber Kulkarni,
Francky Catthoor,
Diederik Verkest:
Systematic speed-power memory data-layout exploration for cache controlled embedded multimedia applications.
ISSS 2001: 107-112 |
| 28 | | Tycho van Meeuwen,
Arnout Vandecappelle,
Allert van Zelst,
Francky Catthoor,
Diederik Verkest:
System-level interconnect architecture exploration for custom memory organizations.
ISSS 2001: 13-18 |
| 27 | EE | Peng Yang,
Chun Wong,
Paul Marchal,
Francky Catthoor,
Dirk Desmet,
Diederik Verkest,
Rudy Lauwereins:
Energy-Aware Runtime Scheduling for Embedded-Multiprocessor SOCs.
IEEE Design & Test of Computers 18(5): 46-58 (2001) |
| 2000 |
|---|
| 26 | EE | Peng Yang,
Dirk Desmet,
Francky Catthoor,
Diederik Verkest:
Dynamic scheduling of concurrent tasks with cost performance trade-off.
CASES 2000: 103-109 |
| 25 | EE | Frederik Vermeulen,
Francky Catthoor,
Diederik Verkest,
Hugo De Man:
Extended design reuse trade-offs in hardware-software architecture mapping.
CODES 2000: 103-107 |
| 24 | EE | Dirk Desmet,
Diederik Verkest,
Hugo De Man:
Operating system based software generation for systems-on-chip.
DAC 2000: 396-401 |
| 23 | EE | Diederik Verkest,
Joachim Kunkel,
Frank Schirrmeister:
System Level Design Using C++.
DATE 2000: 74- |
| 22 | EE | Frederik Vermeulen,
Francky Catthoor,
Hugo De Man,
Diederik Verkest:
Formalized Three-Layer System-Level Reuse Model and Methodology for Embedded Data-Dominated Applications.
DATE 2000: 92-98 |
| 21 | EE | Aggeliki S. Prayati,
Chun Wong,
Paul Marchal,
Nathalie Cossement,
Francky Catthoor,
Rudy Lauwereins,
Diederik Verkest,
Hugo De Man,
Alexios N. Birbas:
Task Concurrency Management Experiment for Power-Efficient Speed-up of Embedded MPEG4 IM1 Player.
ICPP Workshops 2000: 453-460 |
| 20 | EE | Frederik Vermeulen,
Lode Nachtergaele,
Francky Catthoor,
Diederik Verkest,
Hugo De Man:
Flexible hardware acceleration for multimedia oriented microprocessors.
MICRO 2000: 171-177 |
| 19 | EE | Paul Marchal,
Chun Wong,
Aggeliki S. Prayati,
Nathalie Cossement,
Francky Catthoor,
Rudy Lauwereins,
Diederik Verkest,
Hugo De Man:
Dynamic Memory Oriented Transformations in the MPEG4 IM1-Player on a Low Power Platform.
PACS 2000: 40-50 |
| 18 | EE | Frederik Vermeulen,
Francky Catthoor,
Diederik Verkest,
Hugo De Man:
Formalized three-layer system-level model and reuse methodology for embedded data-dominated applications.
IEEE Trans. VLSI Syst. 8(2): 207-216 (2000) |
| 1999 |
|---|
| 17 | EE | Dirk Desmet,
Michiel Esvelt,
Prabhat Avasare,
Diederik Verkest,
Hugo De Man:
Timed executable system specification of an ADSL modem using a C++ based design environment: a case study.
CODES 1999: 38-42 |
| 16 | EE | Arnout Vandecappelle,
Miguel Miranda,
Erik Brockmeyer,
Francky Catthoor,
Diederik Verkest:
Global Multimedia System Design Exploration Using Accurate Memory Organization Feedback.
DAC 1999: 327-332 |
| 15 | EE | Steven Vercauteren,
Jan van der Steen,
Diederik Verkest:
Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.
DATE 1999: 556-561 |
| 14 | EE | Chantal Ykman-Couvreur,
J. Lambrecht,
Diederik Verkest,
Francky Catthoor,
Hugo De Man:
Exploration and Synthesis of Dynamic Data Sets in Telecom Network Applications.
ISSS 1999: 85-93 |
| 13 | EE | Gaetano Borriello,
Diederik Verkest,
Francky Catthoor:
Guest Editorial.
IEEE Trans. on CAD of Integrated Circuits and Systems 18(1): 1-2 (1999) |
| 12 | EE | Diederik Verkest,
Julio Leao da Silva Jr.,
Chantal Ykman-Couvreur,
Kris Croes,
Miguel Miranda,
Sven Wuytack,
Francky Catthoor,
Gjalt G. de Jong,
Hugo De Man:
Matisse: A System-on-Chip Design Methodology Emphasizing Dynamic Memory Management.
VLSI Signal Processing 21(3): 185-194 (1999) |
| 1998 |
|---|
| 11 | EE | Julio Leao da Silva Jr.,
Chantal Ykman-Couvreur,
Miguel Miranda,
Kris Croes,
Sven Wuytack,
Gjalt G. de Jong,
Francky Catthoor,
Diederik Verkest,
Paul Six,
Hugo De Man:
Efficient System Exploration and Synthesis of Applications with Dynamic Data Storage and Intensive Data Transfer.
DAC 1998: 76-81 |
| 10 | EE | Steven Vercauteren,
Diederik Verkest,
Gjalt G. de Jong,
Bill Lin:
Efficient Verification using Generalized Partial Order Analysis.
DATE 1998: 782-789 |
| 9 | EE | Julio Leao da Silva Jr.,
Francky Catthoor,
Diederik Verkest,
Hugo De Man:
Power exploration for dynamic data types through virtual memory management refinement.
ISLPED 1998: 311-316 |
| 8 | EE | Francky Catthoor,
Diederik Verkest,
Erik Brockmeyer:
Proposal for Unified System Design Meta Flow in Task-Level and Instruction-Level Design Technology Research for Multi-Media Applications.
ISSS 1998: 89-95 |
| 1997 |
|---|
| 7 | EE | Steven Vercauteren,
Diederik Verkest,
Gjalt G. de Jong,
Bill Lin:
Derivation of Formal Representations from Process-Based Specification and Implementation Models.
ISSS 1997: 16- |
| 1994 |
|---|
| 6 | | Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU.
Formal Methods in System Design 4(1): 5-31 (1994) |
| 1993 |
|---|
| 5 | | Catia M. Angelo,
Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.
Formal Methods in System Design 2(1): 45-72 (1993) |
| 1992 |
|---|
| 4 | | Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU.
Designing Correct Circuits 1992: 173-192 |
| 3 | | Diederik Verkest,
J. Vandenbergh,
Luc J. M. Claesen,
Hugo De Man:
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic.
TPCD 1992: 37-57 |
| 1991 |
|---|
| 2 | | Catia M. Angelo,
Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.
TPHOLs 1991: 340-347 |
| 1990 |
|---|
| 1 | EE | Diederik Verkest,
Luc J. M. Claesen,
Hugo De Man:
Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment.
EURO-DAC 1990: 62-66 |
