81 |
Automatic verification of VHDL models /Ardeishar, Raghu, January 1990 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1990. / Vita. Abstract. Includes bibliographical references (leaves 74-75). Also available via the Internet.
|
82 |
Simulation of large-scale system-level models /Chadha, Vikrampal, January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 95-98). Also available via the Internet.
|
83 |
Process level test generation for VHDL behavioral models /Kapoor, Shekhar, January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 126-128). Also available via the Internet.
|
84 |
Development of VHDL behavioral models with back annotated timing /Narayanaswamy, Sathyanarayanan. January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaves 99-101). Also available via the Internet.
|
85 |
Hierarchical test generation for VHDL behavioral models /Pan, Bi-Yu, January 1992 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1992. / Vita. Abstract. Includes bibliographical references (leaves 89-90). Also available via the Internet.
|
86 |
Writing memory a study of memory tools in invention /Whittemore, Stewart Neal. January 2008 (has links)
Thesis (Ph. D.)--Michigan State University. Dept. of Rhetoric and Writing, 2008. / Title from PDF t.p. (viewed Aug. 19,2009). Includes bibliographical references (p. 167-175). Also issued in print.
|
87 |
Mapping conceptual graphs to primitive VHDL processes /Shrivastava, Vikram M., January 1994 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1994. / Vita. Abstract. Includes bibliographical references (leaf 66). Also available via the Internet.
|
88 |
Generation of VHDL from conceptual graphs of informal specifications /Honcharik, Alexander J., January 1993 (has links)
Thesis (M.S.)--Virginia Polytechnic Institute and State University, 1993. / Vita. Abstract. Includes bibliographical references (leaf 64). Also available via the Internet.
|
89 |
Mathematical modeling with applications in high-performance codingSu, Yong, January 2005 (has links)
Thesis (Ph. D.)--Ohio State University, 2005. / Title from first page of PDF file. Document formatted into pages; contains xiv, 130 p.; also includes graphics (some col.). Includes bibliographical references (p. 125-130). Available online via OhioLINK's ETD Center
|
90 |
QoS-driven composition analysis for component-based system development /Ma, Hui. January 2007 (has links)
Thesis (Ph. D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 201-214)
|
Page generated in 0.0261 seconds