A Design Language Based Approach to Test Sequence Generation. - Fredrick J. Hill; Ben Huey (Computer, 1977)

SCIRTSS: A Search System for Sequential Circuit Test Sequences. - Fredrick J. Hill; Ben Huey (IEEE Trans. Computers, 1977)

Efficient simulation of AHPL. - Zainalabedin Navabi; Fredrick J. Hill (DAC, 1979)

CONLAN: a formal construction method for hardware description languages: basic principles. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language derivation. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

CONLAN: a formal construction method for hardware description languages: language application. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (AFIPS National Computer Conference, 1980)

An Overview of CONLAN: A Formal Construction Method for Hardware Description Language. - Robert Piloty; Mario Barbacci; Dominique Borrione; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (IFIP Congress, 1980)

Structure Specification with a Procedural Hardware Description Language. - Fredrick J. Hill; R. E. Swanson; Manzer Masud; Zainalabedin Navabi (IEEE Trans. Computers, 1981)

CONLAN Report - Robert Piloty; Dominique Borrione; Mario Barbacci; Donald L. Dietmeyer; Fredrick J. Hill; Patrick Skelly (Springer, 1983)

Hardware Compilation from an RTL to a Storage Logic Array Target. - Fredrick J. Hill; Zainalabedin Navabi; Chen H. Chiang; Duan-Ping Chen; Manzer Masud (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1984)

A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits. - Fredrick J. Hill; Eltayeb Abuelyamen; Wei-Kang Huang; Guo-Qiang Shen (DAC, 1988)

A Sequential Circuit Fault Simulation by Surrogate Fault Propagation. - Xaiolin Wang; Fredrick J. Hill; Zhengkin Mi (ITC, 1989)

Interlocked test generation and digital hardware synthesis. - Fredrick J. Hill (Great Lakes Symposium on VLSI, 1991)

Three Decades of HDLs: Part I, CDL Through TI-HDL. - Yaohan Chu; Donald L. Dietmeyer; James R. Duley; Fredrick J. Hill; Mario Barbacci; Charles W. Rose; Greg M. Ordy; Bill Johnson; Martin Roberts (IEEE Des. Test Comput., 1992)

Computer aided logical design - with emphasis on VLSI (4. ed.). - Fredrick J. Hill; Gerald R. Peterson (Wiley, 1993)

The Sea-of-Wires Array Aynthesis System. - Ing-Yi Chen; Geng-Lin Chen; Fredrick J. Hill; Sy-Yen Kuo (DAC, 1993)