%A Dominique Borrione %T The worker model of evaluation for computer hardware description languages %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 3-21 %A Michael J.C. Gordon %T Register transfer systems and their behaviour %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 23-36 %A Hans Eveking %T The application of CONLAN assertions to the correct description of hardware %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 37-50 %A Takao Uehara %A Fumihiro Maruyama %A Takao Saito %A Nobuaki Kawato %T DDL verifier %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 51-61 %A Subrata Dasgupta %T S*A: a language for describing computer architectures %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 65-78 %A Adam Pawlak %A Janusz Jezewski %T MODLAN - a language for multilevel description and modeling of digital systems %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 79-93 %A P.L. Flake %A P.R. Moorby %A G. Musgrave %T HILO mark 2 hardware description language %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 95-108 %A V. Cordonnier %A B. Toursel %T A classification of program and data flow control in computers %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 109-120 %A J.-A. Blair %A G.-R. Hellestrand %A J.R. Torossian %T A directed CAD system and its design data base %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 123-136 %A Will Sherwood %T An interactive simulation debugging interface for 's %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 137-144 %A A.W. Booth %T Computer generated timing diagrams to supplement simulation %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 145-152 %A Stephen Y.H. Su %A Chi-Lai Huang %A Patrick Y.K. Fu %T A new multi-level hardware design language (LALSD II) and translator %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 155-169 %A Clement K.C. Leung %T On a top-down design methodology for packet systems %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 171-184 %A Steve Klein %A Sarma Sastry %T Parameterized modules and interconnections in unified hardware descriptions %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 185-195 %A Akikazu Takeuchi %T Object oriented description environment for computer hardware %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 197-210 %A R.J. Dachauer %A K. Groening %A K.-D. Lewke %A F.J. Rammig %T The CAP/DSDL system: simulator and case study %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 213-227 %A A. van\ Dam %A M. Barbacci %A C. Halatsis %A J. Joosten %A M. Letheren %T Simulation of a horizontal bit sliced processor: the MICE experience %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 229-245 %A Anil K. Singh %A James H. Tracey %T Development of comparison features for computer hardware description languages %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 247-263 %A M. Mezzalama %A P. Prinetto %T Firmware description languages for a microprogram meta-assembler %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 267-280 %A Peter Marwedel %T Statistical studies of horizontal microprograms %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 281-292 %A P. Keresztes %A D. Pacher %T Step-assignment method using decomposition for realizing AHPL-like control sequence descriptions %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 293-301 %A Mario R. Barbacci %T Syntax and semantics of s %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 305-311 %A Jean Mermet %T An integrated CAD system for logical and electronic circuits %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 313-329 %A Gerhard Zimmermann %T Computer aided synthesis of digital systems %J Proceedings of the IFIP TC-10 Fifth International Symposium on Computer Hardware Description Languages and Their Applications %C Kaiserslautern, Germany %E M. Breuer %E R. Hartenstein %I North-Holland %D September 1981 %K chdl chdl5 %P 331-347 %A George J. Milne %T The correctness of a simple silicon compiler %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 1-12 %A Robert E. Shostak %T Formal verification of circuit designs %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 13-30 %A M.K. Engh %A A.K. Vaidya %A D.L. Dietmeyer %T WISLAN - a CONLAN member for gate array design %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 31-42 %A A.K. Vaidya %A D.L. Dietmeyer %A M.K. Engh %T WISLAN - technology transformation and optimization %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 43-54 %A M.D. Edwards %A D. Aspinalli %T The synthesis of digital systems using ASM design techniques %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 55-64 %A Monica Lam %A Jack Mostow %T A transformational model of VLSI systolic design %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 65-77 %A Ben Moszkowski %T A temporal logic for multi-level reasoning about hardware %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 79-90 %A Takao Uehara %A Takao Saito %A Fumihiro Maruyama %A Nobuaki Kawato %T DDL verifier and temporal logic %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 91-102 %A Masahiro Fujita %A Hidehiko Tanaka %A Tohru Moto-oka %T Verification with Prolog and temporal logic %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 103-114 %A Beatriz Infante %A Mark Bales %A Ed Lock %T MADL: a language for describing mixed behaviour and structure %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 115-126 %A Surrendra Dudani %A Edward Stabler %T Types of hardware description %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 127-136 %A Shunichi Kato %A Tohru Sasaki %T FDL: a structural behaviour description language %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 137-152 %A Zainalabedin Navabi %A Chen H. Chiang %A Fredrick J. Hill %T Storage logic array realization of RTL descriptions %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 153-163 %A Chi-Lai Huang %A Stephen Y.H. Su %T Logic design automation based on LALSD II (language for automated logic and system design) %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 165-178 %A Klim Maling %T ALEX as intermediate language for high-level hardware description %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 179-188 %A Charles P. Kollar %T Architecture validation system using assertion descriptions %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 189-198 %A Mark Hirsch %T An arithmetic logic unit for an ISP simulator %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 199-211 %A Benjamin Atlas %A Zary Segall %T Behavior analysis of ISPS oriented architecture, the RTMachine - a case study %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 213-224 %A Przemyslaw Bakowski %T A language for negative control design %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 225-231 %A Willie Y-P. Lim %A Clement K.C. Leung %T PADL - a packet architecture description language %J Proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications %C Pittsburgh, Pennslyvania %E T. Uehara %E M. Barbacci %I North-Holland %D May 1983 %K chdl chdl6 %P 233-242 %A T.A.C.M. Claasen %T Keynote address %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Roumeliotis %A Armstrong %T HDL modeling for process oriented simulation %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Weinbaum %A Shapiro %T Hardware description and simulation using Concurrent Prolog %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Siegell %A Gross %T Program-specific and architecture-specific simulators %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Gertner %A Kurshan %T Logical analysis of digital circuits %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Bruck %A Klomps %A Schutz %T Analysis of behavioral DACAPO descriptions %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Gebhard %A Hartenstein %A Hauck %A Oelke %T Functional extraction from personality matrixes of MOL (Matrix-Oriented logic) circuits %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Marx %T EDIF standard support version control in CAD systems %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Bulterman %T An animated modelling environment for parallel architectures %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A P. Prinetto %A P. Camurati %T Formal verification techniques %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Baessman %A Besslich %T A microassembler for the register transfer language Karl II %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Silberman %A Spillinger %T Functional fault model generation for coverage estimation of VLSI designs using syntax directed techniques %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A DasGupta %A Ozcanhan %T A meta-assembler for creating the simulation files of the instruction set processor specifications %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Dasgupta %A Aguero %T On the plausibility of architectural designs %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Daniels %T Design criterias and formal description techniques %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Wagner %A Sasso-Freitas %A Golendziner %T A digital system design methodology based on net of agencies %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Beccard %A Damm %A Doehmen %A Sichelschmidt %T Two techniques for automating firmware design verification %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Larsson %T Specification and verification of VLSI systems actional behaviour %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A J. Mermet %T Commercial CAD tools %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Hartenstein %A Nebel %T Shifting functional design verification toward RT-Level by automatic register-transfer-net extraction %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Venkatesh %T Modelling and verification of digital systems using temporal logic %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Civera %A Conte %A Del Corso %A Maddaleno %T Petri net models for the description and verification of parallel bus protocols %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Smith %A van Beijnum %A Gerez %A Mulder %A Spaanenburg %T The MoDL hardware design systems %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A Pawlak %A Wlodzimierz %T Modern object-oriented programming language as a HDL %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8 %A O'Donnell %T Hardware description with recursion equations %J Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications %C Amsterdam, The Netherlands %D April 1987 %K chdl chdl8