{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T08:38:54Z","timestamp":1648715934708},"reference-count":104,"publisher":"Elsevier","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1016\/s0065-2458(08)60545-8","type":"book-chapter","created":{"date-parts":[[2011,1,19]],"date-time":"2011-01-19T05:56:15Z","timestamp":1295416575000},"page":"65-125","source":"Crossref","is-referenced-by-count":1,"title":["Rapid Prototyping of Microelectronic Systems"],"prefix":"10.1016","author":[{"given":"Apostolos","family":"Dollas","sequence":"first","affiliation":[]},{"given":"J.D. Sterling","family":"Babcock","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0065-2458(08)60545-8_bib1","series-title":"Proceedings, the Third IEEE International Workshop on Rapid System Prototyping RSP-92.","first-page":"138","article-title":"Concurrent Engineering: A Prototyping Case Study","author":"Akella","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib2","doi-asserted-by":"crossref","unstructured":"D. Alexandrou, A. Dollas, J.D.S. Babcock, W. Karunaratne (1992). A System for Simultaneous Video and Acoustic Data Acquisition. In: Proceedings, IEEE Oceanic Engineering Society OCEANS 92 Conference: Mastering the Ocean through Technology, Newport, Rhode Island, October 1992, Vol. 1. IEEE Oceanic Engineering Society, pp. 370-374.","DOI":"10.1109\/OCEANS.1992.612719"},{"key":"10.1016\/S0065-2458(08)60545-8_bib3","series-title":"Proceedings of the 4th Annual ACM Symposium on Parallel Algorithms and Architectures.","first-page":"316","article-title":"SPLASH 2","author":"Arnold","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib4","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"146","article-title":"Extended VHDL for the Rapid Prototyping of Systems with Synthesizable and Nonsynthesizable Subsystems","author":"Babcock","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib5","first-page":"1","article-title":"An Assessment and Analysis of Software Reuse","volume":"34","author":"Biggerstaff","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib6","series-title":"Proceedings, the Fourth IEEE International Workshop on Rapid System Prototyping RSP-93.","first-page":"2","article-title":"Development of a Load Balancing Tool for the GRAPE Rapid Prototyping Environment","author":"Bilsen","year":"1993"},{"issue":"37","key":"10.1016\/S0065-2458(08)60545-8_bib7","first-page":"46","article-title":"MICON: A Single-Board Computer Synthesis Tool","volume":"4","author":"Birmingham","year":"1988","journal-title":"IEEE Circuits and Devices Magazine"},{"issue":"61","key":"10.1016\/S0065-2458(08)60545-8_bib8","first-page":"67","article-title":"The Micon System for Computer Design","volume":"9","author":"Birmingham","year":"1989","journal-title":"IEEE Micro"},{"key":"10.1016\/S0065-2458(08)60545-8_bib9","series-title":"Automating the Design of Computer Systems: The MICON Project.","author":"Birmingham","year":"1992"},{"issue":"12","key":"10.1016\/S0065-2458(08)60545-8_bib10","doi-asserted-by":"crossref","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","article-title":"Software Engineering.","volume":"C-25","author":"Boehm","year":"1976","journal-title":"IEEE Transactions on Computers"},{"issue":"61","key":"10.1016\/S0065-2458(08)60545-8_bib11","first-page":"72","article-title":"A Spiral Model of Software Development and Enhancement","volume":"21","author":"Boehm","year":"1988","journal-title":"IEEE Computer"},{"issue":"3","key":"10.1016\/S0065-2458(08)60545-8_bib12","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TSE.1984.5010238","article-title":"Prototyping versus Specifying: A Multiproject Experiment.","volume":"SE-10","author":"Boehm","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"25","key":"10.1016\/S0065-2458(08)60545-8_bib13","first-page":"29","article-title":"Introduction to the ISO Specification Language LOTOS","volume":"14","author":"Bolognesi","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0065-2458(08)60545-8_bib14","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/54.143145","article-title":"Formal Verification of VHDL Descriptions in the Prevail Environment.","volume":"June","author":"Borrione","year":"1992","journal-title":"IEEE Design and Test of Computers"},{"key":"10.1016\/S0065-2458(08)60545-8_bib15","series-title":"Protocol Specification, Testing, and Verification, V","first-page":"171","article-title":"A Tutorial on LOTOS.","author":"Brinksma","year":"1986"},{"key":"10.1016\/S0065-2458(08)60545-8_bib16","series-title":"The Mythical Man-Month, Essays on Software Engineering.","author":"Brooks","year":"1972"},{"key":"10.1016\/S0065-2458(08)60545-8_bib17","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0169-7552(87)90092-4","article-title":"Evaluation and Integration of Specification Languages.","volume":"13","author":"Bruijing","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0065-2458(08)60545-8_bib18","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"162","article-title":"Quantitative Design of a Scalable Microsystem using ALMA: The Example of the Dictionary Machine","author":"Brunel","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib19","series-title":"Proceedings, the Third IEEE International Workshop on Rapid System Prototyping RSP-92.","first-page":"58","article-title":"Rapid Prototyping through Communicating Petri Nets","author":"Bucci","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib20","unstructured":"J. Buck, S. Ha, E.A. Lee, D.G. Messerschmitt (1991). Ptolemy: A Mixed-Paradigm Simulation\/Prototyping Platform in C+ +. In: Proceedings of C++ at Work Conference, November 1991. Available on WWW at http:\/\/ptolemy.eecs.berkeley.edu\/ or FTP to ptolemy.eecs.berkeley.edu\/pub\/ptolemy\/papers."},{"key":"10.1016\/S0065-2458(08)60545-8_bib21","first-page":"155","article-title":"Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems","volume":"4","author":"Buck","year":"1994","journal-title":"International Journal of Computer Simulation"},{"key":"10.1016\/S0065-2458(08)60545-8_bib22","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0169-7552(87)90084-5","article-title":"An Introduction to Estelle: A Specification Language for Distributed Systems","volume":"14","author":"Budkowski","year":"1987","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0065-2458(08)60545-8_bib23","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"196","article-title":"PROTO\u2013A Software Requirements Specification, Analysis, and Validation Tool","author":"Burns","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib24","series-title":"Proceedings, the Second IEEE International Workshop on Rapid System Prototyping RSP-91.","first-page":"151","article-title":"Parallel PROTO\u2013A Prototyping Tool for Analyzing and Validating Sequential and Parallel Processing Software Requirements","author":"Burns","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib25","unstructured":"Cadence (1993). Cadence On-Line Documentation."},{"key":"10.1016\/S0065-2458(08)60545-8_bib26","series-title":"Proceedings, the Fourth IEEE International Workshop on Rapid System Prototyping RSP-93.","first-page":"17","article-title":"PDG: A Process-Level Debugger for Concurrent Programs in the GRAPE Rapid Prototyping Environment","author":"Caerts","year":"1993"},{"issue":"8","key":"10.1016\/S0065-2458(08)60545-8_bib27","first-page":"19","article-title":"Formal Verification of Hardware Correctness: Introduction and Survey of Current Research","volume":"21","author":"Camurati","year":"1988","journal-title":"IEEE Computer"},{"key":"10.1016\/S0065-2458(08)60545-8_bib28","series-title":"Introduction to HDL-Based Design Using VHDL","author":"Carlson","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib29","series-title":"BORC: A Field-Programmable Prototyping Board: User's Guide.","author":"Chan","year":"1992"},{"issue":"26","key":"10.1016\/S0065-2458(08)60545-8_bib30","first-page":"36","article-title":"Hardware-Software Codesign of Embedded Systems","volume":"14","author":"Chiodo","year":"1994","journal-title":"IEEE Micro"},{"issue":"37","key":"10.1016\/S0065-2458(08)60545-8_bib31","first-page":"47","article-title":"Scheduling for Reactive Real-Time Systems","volume":"14","author":"Chou","year":"1994","journal-title":"IEEE Micro"},{"key":"10.1016\/S0065-2458(08)60545-8_bib32","first-page":"1","article-title":"Software Effort Estimation and Productivity","volume":"24","author":"Conte","year":"1985"},{"key":"10.1016\/S0065-2458(08)60545-8_bib33","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"176","article-title":"Rapid System Prototyping from English Specifications","author":"Cyre","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib34","first-page":"91","article-title":"Computer Design and Description Languages","volume":"21","author":"Dasgupta","year":"1982"},{"issue":"44","key":"10.1016\/S0065-2458(08)60545-8_bib35","first-page":"48","article-title":"Adopting a Policy of Reuse","volume":"31","author":"Davis","year":"1994","journal-title":"IEEE Spectrum"},{"key":"10.1016\/S0065-2458(08)60545-8_bib36","series-title":"Structured Analysis and System Specification.","author":"DeMarco","year":"1978"},{"key":"10.1016\/S0065-2458(08)60545-8_bib37","first-page":"207","article-title":"High-Level Synthesis of Digital Circuits","volume":"37","author":"De Micheli","year":"1993"},{"issue":"10","key":"10.1016\/S0065-2458(08)60545-8_bib38","first-page":"16","article-title":"Computer-Aided Hardware-Software Codesign","volume":"14","author":"De Micheli","year":"1994","journal-title":"IEEE Micro"},{"key":"10.1016\/S0065-2458(08)60545-8_bib39","series-title":"IEEE Workshop on FPGAs for Custom Computing Machines.","article-title":"Global Control Synthesis for an MIMD\/FPGA Machine.","author":"Dhaussy","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib40","series-title":"Proceedings, the Second IEEE International Workshop on Rapid System Prototyping RSP-91.","first-page":"9","article-title":"Experimental Results in Rapid System Prototyping with Incomplete CAD Tools and Inexperienced Designers","author":"Dollas","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib41","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"38","article-title":"Rapid System Prototyping in Academic Laboratories of the 1990s","author":"Dollas","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib42","series-title":"Proceedings, the Third IEEE International Workshop on Rapid System Prototyping RSP-92.","first-page":"38","article-title":"An Evaluation of the Teamwork CASE Environment for Specifications Capture of Hardware Systems","author":"Dollas","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib43","series-title":"Proceedings, Workshop on Field Programmable Logic and Applications FPL-94.","article-title":"FPGA Based Low Cost Generic Reusable Module for the Rapid Prototyping of Subsystems.","author":"Dollas","year":"1994"},{"issue":"78","key":"10.1016\/S0065-2458(08)60545-8_bib44","first-page":"94","article-title":"Designers Search for the Secret to Ease ASIC Migration","volume":"30","author":"Egan","year":"1991","journal-title":"Computer Design"},{"key":"10.1016\/S0065-2458(08)60545-8_bib45","series-title":"COMPEURO '90: Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering.","first-page":"502","article-title":"QUISAP: An Environment for Rapid Prototyping of Real-Time Systems","author":"Espinosa","year":"1990"},{"key":"10.1016\/S0065-2458(08)60545-8_bib46","series-title":"Proceedings, the Fourth IEEE International Workshop on Rapid System Prototyping RSP-93.","first-page":"108","article-title":"Interactive System Design in ESCAPE","author":"Fleurkens","year":"1993"},{"key":"10.1016\/S0065-2458(08)60545-8_bib47","series-title":"1993 IEEE International Symposium on Circuits and Systems","first-page":"2137","article-title":"Flexible Mixed-Mode and Mixed-Level Simulation.","author":"Fleurkens","year":"1993"},{"key":"10.1016\/S0065-2458(08)60545-8_bib48","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/6.19843","article-title":"User-Programmable Gate Arrays.","volume":"December","author":"Freeman","year":"1988","journal-title":"IEEE Spectrum"},{"key":"10.1016\/S0065-2458(08)60545-8_bib49","series-title":"Silicon Compilation.","year":"1988"},{"key":"10.1016\/S0065-2458(08)60545-8_bib50","series-title":"International Conference on Application Specific Processors.","first-page":"111","article-title":"The Logic Description Generator","author":"Gokhale","year":"1990"},{"issue":"81","key":"10.1016\/S0065-2458(08)60545-8_bib51","first-page":"89","article-title":"Building and Using a Highly Parallel Programmable Logic Array","volume":"24","author":"Gokhale","year":"1991","journal-title":"IEEE Computer"},{"key":"10.1016\/S0065-2458(08)60545-8_bib52","first-page":"12","article-title":"The CAD Framework Initiative.","volume":"September","author":"Graham","year":"1991","journal-title":"IEEE Design and Test of Computers"},{"key":"10.1016\/S0065-2458(08)60545-8_bib53","unstructured":"A. Greiner, F. Pecheux (1993). ALLIANCE: A Complete Set of CAD Tools for Teaching VLSI Design. Laboratoire MASI\/CAO-VLSI, Institut de Programmation, Universite Pierre et Marie Curie. Available via FTP to ftp-masi.ibp.fr in \/pub\/cao-vlsi\/alliance."},{"key":"10.1016\/S0065-2458(08)60545-8_bib54","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.27954","article-title":"An Object-Oriented VLSI CAD Framework.","volume":"May","author":"Gupta","year":"1989","journal-title":"Computer"},{"key":"10.1016\/S0065-2458(08)60545-8_bib55","series-title":"WESCON '90 Conference Record.","first-page":"154","article-title":"Rapid Prototyping with FPGAs","author":"Haines","year":"1990"},{"key":"10.1016\/S0065-2458(08)60545-8_bib56","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"46","article-title":"001: A Rapid Development Approach for Rapid Prototyping Based on a System that Supports Its Own Life Cycle","author":"Hamilton","year":"1991"},{"issue":"393","key":"10.1016\/S0065-2458(08)60545-8_bib57","first-page":"417","article-title":"Electronic CAD Frameworks","volume":"78","author":"Harrison","year":"1990","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/S0065-2458(08)60545-8_bib58","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"205","article-title":"A Synthesis, Test and Debug Environment for Rapid Prototyping of DSP Designs","author":"Hartley","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib59","first-page":"175","article-title":"Availability and Reliability Modeling for Computer Systems","volume":"31","author":"Heimann","year":"1990"},{"key":"10.1016\/S0065-2458(08)60545-8_bib60","series-title":"Proceedings, the Second IEEE International Workshop on Rapid System Protoryping RSP-91.","first-page":"27","article-title":"RAMSES\u2013a Rapid Prototyping Environment for Embedded Control Applications","author":"Herpel","year":"1992"},{"issue":"89","key":"10.1016\/S0065-2458(08)60545-8_bib61","first-page":"96","article-title":"Streamline Programmable-Logic Design with the Proposed LPM Standard","volume":"39","author":"Holley","year":"1991","journal-title":"Electronic Design"},{"key":"10.1016\/S0065-2458(08)60545-8_bib62","series-title":"Introduction to Automata Theory, Languages, and Computation.","author":"Hopcroft","year":"1979"},{"issue":"17","key":"10.1016\/S0065-2458(08)60545-8_bib63","first-page":"25","article-title":"Codesign of Architectures for Automotive Powertrain Modules","volume":"14","author":"Hu","year":"1994","journal-title":"IEEE Micro"},{"key":"10.1016\/S0065-2458(08)60545-8_bib64","unstructured":"IEEE (1987). IEEE Standard VHDL Language Reference Manual, IEEE Std. 1076-1987. IEEE Computer Society Press. The IEEE, Inc., 345 East 47th Street, New York, N. Y., U. S. A."},{"key":"10.1016\/S0065-2458(08)60545-8_bib65","first-page":"83","article-title":"Roundtable Discussion: Hardware\/Software Codesign.","volume":"March","year":"1993","journal-title":"IEEE Design and Test of Computers"},{"key":"10.1016\/S0065-2458(08)60545-8_bib66","first-page":"642","article-title":"Software Quality via Rapid Prototyping","volume":"1","author":"Jain","year":"1989"},{"key":"10.1016\/S0065-2458(08)60545-8_bib67","unstructured":"D.L. Johannsen Silicon Compilation. Proceedings of the Decennial Caltech Conference on VLSI March 1989 17 36"},{"key":"10.1016\/S0065-2458(08)60545-8_bib68","series-title":"Proceedings of the 29th Annual ACM\/IEEE Design Automation Conference.","first-page":"666","article-title":"The Electronic Design Interchange Format EDIF: Present and Future","author":"Kahn","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib69","first-page":"34","article-title":"How Users View Frameworks","volume":"29","author":"Kaplan","year":"1992","journal-title":"IEEE Spectrum"},{"key":"10.1016\/S0065-2458(08)60545-8_bib70","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"75","article-title":"OASIS: A Silicon Compiler for Semi-Custom Design.","author":"Kedem","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib71","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/54.173332","article-title":"Shortening the Design Cycle for Programmable Logic Devices.","volume":"December","author":"Kelem","year":"1992","journal-title":"IEEE Design and Test of Computers"},{"key":"10.1016\/S0065-2458(08)60545-8_bib72","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"205","article-title":"Accelerating the Design Process by Using Architectural Synthesis","author":"Kission","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib73","series-title":"TEX: The Program.","author":"Knuth","year":"1986"},{"key":"10.1016\/S0065-2458(08)60545-8_bib74","series-title":"Proceedings, the Fourth IEEE International Workshop on Rapid System Prototyping RSP-93.","first-page":"194","article-title":"A Generic Prototype Model for Distributed Systems Based on High Level Object Oriented Specification","author":"Kordon","year":"1993"},{"key":"10.1016\/S0065-2458(08)60545-8_bib75","series-title":"Fault Tolerant & Fault Testable Hardware Design.","year":"1985"},{"key":"10.1016\/S0065-2458(08)60545-8_bib76","series-title":"LaTeX: A Document Preparation System.","author":"Lamport","year":"1985"},{"key":"10.1016\/S0065-2458(08)60545-8_bib77","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"90","article-title":"Geometric Parallelism and Cyclo-Static Data Flow in GRAPE-II.","author":"Lauwereins","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib78","series-title":"IEEE Workshop on FPGAs for Custom Computing Machines.","first-page":"2","article-title":"Fine Grain Parallelism on a MIMD Machine Using FPGAs.","author":"Lavenier","year":"1993"},{"key":"10.1016\/S0065-2458(08)60545-8_bib79","series-title":"VHDL: Hardware Description and Design.","author":"Lipsett","year":"1989"},{"key":"10.1016\/S0065-2458(08)60545-8_bib80","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"126","article-title":"Hardware Emulation Board Based on FPGAs and Programmable Interconnections.","author":"Lo","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib81","first-page":"36","article-title":"CAD Frameworks Ride a Rough Road to Success","volume":"40","author":"Maliniak","year":"1992","journal-title":"Electronic Design"},{"issue":"3","key":"10.1016\/S0065-2458(08)60545-8_bib82","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01384133","article-title":"Formal Analysis of Correctness of Behavioral Transformations","volume":"2","author":"McFarland","year":"1993","journal-title":"Formal Methods in System Design: An International Journal"},{"issue":"5","key":"10.1016\/S0065-2458(08)60545-8_bib83","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/43.277609","article-title":"Formal Verification of Correctness of Sequential Hardware: A Tutorial","volume":"12","author":"McFarland","year":"1993","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"10.1016\/S0065-2458(08)60545-8_bib84","first-page":"1","article-title":"Computer-Aided Logic Synthesis for VLSI Chips.","volume":"32","author":"Muroga","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib85","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/0169-7552(91)90081-M","article-title":"Experiences with Estelle, LOTOS and SDL: A Protocol Implementation Experiment","volume":"22","author":"Murphy","year":"1991","journal-title":"Computer Networks and ISDN Systems"},{"key":"10.1016\/S0065-2458(08)60545-8_bib86","series-title":"WESCON '90 Conference Record.","first-page":"662","article-title":"Rapid Prototyping of DSP Products.","author":"Newman","year":"1990"},{"issue":"4","key":"10.1016\/S0065-2458(08)60545-8_bib87","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/40.296157","article-title":"A Software-Hardware Cosynthesis Approach to Digital System Simulation","volume":"14","author":"Olukotun","year":"1994","journal-title":"IEEE Micro"},{"key":"10.1016\/S0065-2458(08)60545-8_bib88","series-title":"VHDL","author":"Perry","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib89","series-title":"Proceedings, the First IEEE International Workshop on Rapid System Prototyping RSP-90.","first-page":"25","article-title":"The AnyBoard: A Rapid-Prototyping System for Use in Teaching Digital Circuit Design.","author":"Petersen","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib90","first-page":"393","article-title":"Issues in the Development of Large, Distributed, and Reliable Software.","volume":"26","author":"Ramamoorthy","year":"1987"},{"key":"10.1016\/S0065-2458(08)60545-8_bib91","first-page":"281","article-title":"Techniques and Issues in Testing and Validation of VLSI Systems.","volume":"26","author":"Reghbati","year":"1987"},{"key":"10.1016\/S0065-2458(08)60545-8_bib92","series-title":"Proceedings, the Fifth IEEE International Workshop on Rapid System Prototyping RSP-94.","first-page":"1","article-title":"The Rapid Prototyping of Application Specific Signal Processors (RASSP) Program: Overview and Status.","author":"Richards","year":"1994"},{"key":"10.1016\/S0065-2458(08)60545-8_bib93","series-title":"Proceedings, the Second IEEE International Workshop on Rapid System Prototyping RSP-91.","first-page":"101","article-title":"Hardware and Software Prototyping for Application-Specific Real-Time Systems.","author":"Srivastava","year":"1992"},{"key":"10.1016\/S0065-2458(08)60545-8_bib94","series-title":"Digital Design with Verilog HDL.","author":"Stemheim","year":"1990"},{"key":"10.1016\/S0065-2458(08)60545-8_bib95","unstructured":"Synopsys (1993). Synopsys On-Line Documentation."},{"issue":"3","key":"10.1016\/S0065-2458(08)60545-8_bib96","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/BF01384134","article-title":"A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems","volume":"2","author":"Thuau","year":"1993","journal-title":"Formal Methods in System Design: An International Journal"},{"issue":"2","key":"10.1016\/S0065-2458(08)60545-8_bib97","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1177\/003754978704800204","article-title":"Axe: A Language for the Simulation of Digital Hardware","volume":"48","author":"Van den Bout","year":"1987","journal-title":"Simulation"},{"key":"10.1016\/S0065-2458(08)60545-8_bib98","series-title":"Proceedings, the Fourth IEEE International Workshop on Rapid System Prototyping RSP-93.","first-page":"31","article-title":"The 1993 AnyBoard Rapid-Prototyping Environment.","author":"Van den Bout","year":"1993"},{"key":"10.1016\/S0065-2458(08)60545-8_bib99","doi-asserted-by":"crossref","unstructured":"D.E. Van den Bout, J.N. Morris, Thomae, and D. S., Labrozzi, D. Hallman (1992). AnyBoard: An FPGA-Based, Reconfigurable System. IEEE Design and Test of Computers, September, 21-30","DOI":"10.1109\/54.156155"},{"key":"10.1016\/S0065-2458(08)60545-8_bib100","first-page":"1","article-title":"Reusable Software Components.","volume":"33","author":"Weide","year":"1991"},{"key":"10.1016\/S0065-2458(08)60545-8_bib101","first-page":"335","article-title":"Software Testing and Verification.","volume":"26","author":"White","year":"1987"},{"issue":"2","key":"10.1016\/S0065-2458(08)60545-8_bib102","first-page":"70","article-title":"How Quickturn Is Filling a Gap","volume":"63","author":"Wolff","year":"1990","journal-title":"Electronics"},{"key":"10.1016\/S0065-2458(08)60545-8_bib103","series-title":"Xilinx Programmable Gate Arrays Technical Data Manual.","author":"Xilinx","year":"1990"},{"key":"10.1016\/S0065-2458(08)60545-8_bib104","first-page":"43","article-title":"Role of Verification in the Software Specification Process.","volume":"36","author":"Zelkowitz","year":"1993"}],"container-title":["Advances in Computers"],"original-title":[],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T23:51:00Z","timestamp":1559951460000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0065245808605458"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":104,"URL":"https:\/\/doi.org\/10.1016\/s0065-2458(08)60545-8","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[1995]]}}}