- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 1 to 10 of 155 (0.08 seconds)| 1 |
Intelligent camera planning for computer graphicsPickering, Jonathan H. January 2002 (has links)
No description available.
|
| 2 |
Integration of VHDL simulation and test verification into a Process Model Graph design environment /Dailey, David M., January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 116-117). Also available via the Internet.
|
| 3 |
A framework for synthesis from VHDL /Shah, Sandeep R., January 1991 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaves 91-94). Also available via the Internet.
|
| 4 |
Behavior modeling of RF systems with VHDL /Sama, Anil, January 1991 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1991. / Vita. Abstract. Includes bibliographical references (leaf 107). Also available via the Internet.
|
| 5 |
Rapid development of VHDL behavioral models /Wright, Philip A., January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 56-57). Also available via the Internet.
|
| 6 |
A hierarchical approach to effective test generation for VHDL behavioral models /Rao, Sanat R., January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaves 147-149). Also available via the Internet.
|
| 7 |
The semantics of VHDL with VAL and HOL towards practical verification tools /Van Tassel, John P. January 1900 (has links)
Thesis (M.A.)--Wright State University, 1990. / Cover title. "June 1990." Includes bibliographical references.
|
| 8 |
An Extensible Workbench for the COMMUNITY Architecture Description LanguageSantos, Jorge 11 1900 (has links)
<p> The field of Architecture Description Languages (ADL) is in rapid and constant evolution. Change and experimentation with different language features is the norm. Additionally, it is unlikely that one ADL will ever satisfy the needs of every architect. On the other hand, ADL experimentation and usage require the use of easy-to-use tools that will help with the research into different characteristics of ADLs. This leads us to the need for highly extensible tools that will make it easy to work with and evolve ADLs. This thesis presents the design of a new tool developed to work with the CoMMUNITY Architecture Description Language with the goal of being a highly extensible platform for future experimentation with the language. </p> / Thesis / Master of Science (MSc)
|
| 9 |
Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistantVan Tassel, John Peter January 1993 (has links)
No description available.
|
| 10 |
Formal methods for VLSI designRead, Simon January 1994 (has links)
No description available.
|
Page generated in 0.0832 seconds