G. A. Frank

Room evacuation in the presence of an obstacle

Claudio O. Dorso, G. A. Frank, C. Dorso, 2011 .

Reuse of models and testbenches at different levels of abstraction

F. G. Gray, S. Gopalakrishnan, G. A. Frank, 1998, Proceedings International Verilog HDL Conference and VHDL International Users Forum.

Software/Hardware Codesign for Validation

G. A. Frank, B. E. Clark, 1992, The 24th Southeastern Symposium on and The 3rd Annual Symposium on Communications, Signal Processing Expert Systems, and ASIC VLSI Design System Theory.

An Architecture Design and Assessment System for Software/Hardware Codesign

G. A. Frank, C. U. Smith, J. L. Cuardrado, 1985, DAC 1985.

Software/Hardware Codesign for Validation and Verification

G. A. Frank, B. E. Clark, 1992 .

Tools for rapid construction of VHDL performance models for DSP systems

F. G. Gray, D. Ziegenbein, G. A. Frank, 1998, Proceedings International Verilog HDL Conference and VHDL International Users Forum.

CAD Tools for the Development and Reuse of Models of Signal Processing Software and Hardware. Volume 1 - Final Report.

J. R. Armstrong, F. G. Gray, G. A. Frank, 1997 .

System Modeling for V&V

G. A. Frank, B. E. Clark, 1992 .

The Need for Formal Engineering Process Models

G. A. Frank, B. E. Clark, 1992, The 24th Southeastern Symposium on and The 3rd Annual Symposium on Communications, Signal Processing Expert Systems, and ASIC VLSI Design System Theory.

A functional test planning system for validation of DSP circuits modeled in VHDL

J. R. Armstrong, G. A. Frank, M.-W. Lin, 1998, Proceedings International Verilog HDL Conference and VHDL International Users Forum.