Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-35 of 35 results
Fundamentals and standards in hardware description languages / edited by Jean P. Mermet.
- Text
- Dordrecht [Netherlands] ; Boston : Kluwer Academic Publishers, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1922 Offsite Not available - Please for assistance.Modeling with an analog hardware description language / by H. Alan Mantooth, Mike Fiegenbaum.
- Text
- Boston : Kluwer Academic, c1995.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 95-766 Offsite Not available - Please for assistance.Analog and mixed-signal hardware description languages / edited by Alain Vachoux ... [et al.].
- Text
- Boston : Kluwer Academic Publishers, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1217 Offsite Not available - Please for assistance.Hardware description languages : concepts and principles / Sumit Ghosh.
- Text
- New York : IEEE Press, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSF 99-813 Offsite Not available - Please for assistance.System-on-chip methodologies & design languages / edited by Peter J. Ashenden, Jean P. Mermet, and Ralf Seepold.
- Text
- Boston ; London : Kluwer Academic Publishers, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1574 Offsite Not available - Please for assistance.A formal language for the specification and verification of synchronous and asynchronous circuits [microform] / David M. Russinoff.
- Text
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center ; [Springfield, Va. : National Technical Information Service, distributor, 1993]
- 1993
Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li.
- Text
- Singapore ; New Jersey : World Scientific, c2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSD 01-252 Offsite Not available - Please for assistance.Lecture notes on hardware description languages : introduction / Adam Pawlak.
- Text
- Sankt Augustin : Gesellschaft für Mathematik und Datenverarbeitung, c1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text JBX Q-641 Offsite Not available - Please for assistance.Higher-level hardware synthesis / Richard Sharp.
- Text
- Berlin ; New York : Springer, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1014 Offsite Not available - Please for assistance.The e hardware verification language / Sasan Iman, Sunita Joshi.
- Text
- Boston : Kluwer Academic Publishers, c2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text JSE 04-1260 Offsite Not available - Please for assistance.Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991 / edited by Dominique Borrione, Ronald Waxman.
- Text
- Amsterdam ; New York : North-Holland : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .I35 1991 Off-site Not available - Please for assistance.Fundamentals and standards in hardware description languages / edited by Jean P. Mermet.
- Text
- Dordrecht [Netherlands] ; Boston : Kluwer Academic, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .F86 1993 Off-site Not available - Please for assistance.Formal specification and verification of digital systems / George Milne.
- Text
- London ; New York : McGraw-Hill, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text TK7874.65 .M55 1994 Off-site Not available - Please for assistance.Computer hardware description languages and their applications : proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sonsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 / edited by David Agnew, Luc Calaesen, Raul Camposano.
- Text
- Amsterdam ; London : North-Holland, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .I35 1993g Off-site Not available - Please for assistance.High-level system modeling : specification languages / edited by Jean-Michel Bergé, Oz Levia, Jacques Rouillard.
- Text
- Boston : Kluwer Academic, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .H53 1995 Off-site Not available - Please for assistance.Practical formal methods for hardware design / C. Delgado Kloos, W. Damm (Eds.).
- Text
- New York : Springer, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text TK7874.65 .P73 1997 Off-site Not available - Please for assistance.Hardware description languages : concepts and principles / Sumit Ghosh.
- Text
- New York : IEEE Press, [2000], ©2000.
- 2000-2000
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .G46 2000 Off-site Not available - Please for assistance.Hybrid parallel execution model for logic-based specification languages / Jeffrey J.P. Tsai, Bing Li.
- Text
- Singapore ; New Jersey : World Scientific, [2001], ©2001.
- 2001-2001
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .T72 2001g Off-site Not available - Please for assistance.Higher level hardware synthesis / Richard Sharp.
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .S52 2004 Off-site Not available - Please for assistance.Optimized ASIP synthesis from architecture description language models / by Oliver Schliebusch, Heinrich Meyr and Rainer Leupers.
- Text
- Dordrecht ; London : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A73 S355 2007g Off-site Not available - Please for assistance.Hardware description languages / edited by R.W. Hartenstein.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .H37 1987 Off-site Not available - Please for assistance.Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eighth International Conference on Computer Hardware Description Languages and Their Applications, Amsterdam, the Netherlands, 27-29 April, 1987 / edited by M.R. Barbacci, C.J. Koomen.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science, 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .I35 1987 Off-site Not available - Please for assistance.The development of semantic functions for a system description language with multiple interpretations / door Marc Seutter.
- Text
- [S.l. : s.n., 1994?]
- 1994
- 1 Item
Item details Format Call Number Item Location Text Off-site Not available - Please for assistance.IEEE standard VHDL language reference manual / sponsors: Design Automation Standards Committee of the IEEE Computer Society and Automatic Test Program Generation Subcommittee of the IEEE Standards Coordinating Committee 20.
- Text
- New York, NY : Institute of Electrical and Electronics Engineers, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .I333 1994 Off-site Not available - Please for assistance.1975 International Symposium on Computer Hardware Description Languages and Their Applications : proceedings, Graduate Center, City University of New York, New York City, September 3-5, 1975 / Stephen Y. H. Su, symposium chairman ; Donald L. Dietmeyer, program chairman.
- Text
- New York : Institute of Electrical and Electronics Engineers : can be ordered from Association for Computing Machinery, c1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text TK7888.3.I57 1975 Off-site Not available - Please for assistance.Hardware description languages / edited by R.W. Hartenstein.
- Text
- 1987
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .H37 1987 Off-site Not available - Please for assistance.Embedded systems specification and design languages : selected contributions from FDL'07 / Eugenio Villar, editor.
- Text
- Berlin : Springer, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .E523 2008 Off-site Not available - Please for assistance.High-level synthesis : from algorithm to digital circuit / Philippe Coussy, Adam Morawiec, editors.
- Text
- [New York] : Springer, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text TK7888.3 .H54 2008 Off-site Not available - Please for assistance.Languages for embedded systems and their applications : selected contributions on specification, design, and verification from FDL'08 / Martin Radetzki, editor.
- Text
- Heidelberg ; New York : Springer, c2009.
- 2009
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .L363 2009 Off-site Not available - Please for assistance.Low Power Hardware Synthesis from Concurrent Action-oriented Specifications / Gaurav Singh, Sandeep K. Shukla.
- Text
- New York : Springer, 2010.
- 2010
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .S535 2010 Off-site Not available - Please for assistance.Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Sixth International Symposium on Computer Hardware Description Languages and Their Applications, Pittsburgh, Pennsylvania, U.S.A., 23-25 May, 1983 / edited by T. Uehara, M. Barbacci.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., ©1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text TK7888.3 .I28 1983 Off-site Not available - Please for assistance.Hardware description languages / edited by R.W. Hartenstein.
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1987.
- 1987
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .H37 1987 Off-site Not available - Please for assistance.Embedded systems specification and design languages : selected contributions from FDL'07 / Eugenio Villar, editor.
- Text
- Berlin : Springer, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text TK7885.7 .E523 2008 Off-site Not available - Please for assistance.High-level synthesis : from algorithm to digital circuit / Philippe Coussy, Adam Morawiec, editors.
- Text
- [New York] : Springer, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text TK7888.3 .H54 2008 Off-site Not available - Please for assistance.Computer hardware description languages and their applications : proceedings of the IFIP TC-10 Fifth International Conference on Computer Hardware Description Languages and Their Applications, Kaiserslautern, F.R.G., 7-9 September 1981 / edited by M. Breuer, R. Hartenstein.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text TK7888.3 .I27 1981 Off-site Not available - Please for assistance.
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
