Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where John Christopher Willis is active.

Publication


Featured researches published by John Christopher Willis.


IEEE Design & Test of Computers | 1992

Optimizing VHDL compilation for parallel simulation

John Christopher Willis; Daniel P. Siewiorek

Auriga, an experimental simulator that utilizes five compilation techniques to reduce runtime complexity and promote concurrency in the simulation of VHDL models is described. Auriga is designed to translate a model using any VHDL construct into an optimized, parallel simulation. Aurigas distributed simulation uses a message-passing network to simulate a single VHDL model. The authors present results obtained with seven benchmark models to illustrate the compilers aggressive optimization techniques: temporal analysis, waveform propagation, input desensitization, concurrent evaluation, and statement compaction.<<ETX>>


national aerospace and electronics conference | 1998

The advanced intermediate representation with extensibility/common environment (AIRE/CE)

John Christopher Willis; Gregory D. Peterson; Steven Lee Gregor

Todays electronic system designers are faced with steadily increasing pressures to deliver greater functionality at less cost in less time. The Advanced Intermediate Representation with Extensibility/Common Environment, AIRE/CE, addresses these pressures by providing fundamentally new capability to both integrate state-of-the-art tool components into a programs design now and exchange partially compiled hardware/system designs.


Simulation | 1999

High-performance hardware description language simulation: modeling issues and recommended practices

Gregory D. Peterson; John Christopher Willis

Parallel simulation of hardware description languages (HDL) is no longer solely a subject of largely academic interest; it is now a significant opportunity for mainstream hardware and system designers. System requirements and system fabrication densities often exceed uni-processor simulation capability, while shared-memory multiprocessors, high-speed networks and parallel processors (platforms) are widely accessible. However, recognition and practice of suitable HDL modeling practices are critical to efficiently satisfying performance requirements using parallel tool capabilities. This paper develops a set of recommended modeling practices intended to boost parallel HDL simulation effectiveness. These modeling practices are part of an effort by the IEEE Design Automation Standards Committee (DASC) group on High Performance Modeling for Simulation (HPMSIM) to develop a set of recommended practices for discrete-event and continuous-domain modeling in VHDL, VHDL-AMS and Verilog. Since the optimal modeling style is tightly related to the parallel machine architecture employed and the simulation algorithms used, both this paper and the DASC effort key specific modeling recommendations to processor architecture and simulation algorithm classes. Parallel simulators are a technical and commercial reality, thanks in part to the intrinsically parallel nature of HDLs, especially VHDL and VHDL-AMS. Simulation efficiency achieved when using such simulators is heavily dependent on the modeling style used to write the


Archive | 2001

Automating the Validation of Hardware Description Language Processing Tools

Sathyanarayanan Seshadri; Sanjeev Thiyagarajan; John Christopher Willis; Gregory D. Peterson

Testing the adherence of a hardware description language (HDL) tool to an associated HDL specification is of critical importance to design teams. This paper will develop practical test suite requirements, outline FTL System’s VIVATM technology for automatically generating and applying test suites, and describe the experimental results using VIVA (VHDL Interactive Validation Alchemy) to test FTL Systems’ Auriga ® family of HDL compilers.


Archive | 1997

Compiler-oriented apparatus for parallel compilation, simulation and execution of computer programs and hardware models

John Christopher Willis; Robert N. Newshutz


Archive | 2005

Hardware/software design tool and language specification mechanism enabling efficient technology retargeting and optimization

John Christopher Willis


Archive | 2002

Simulation of designs using programmable processors and electronically re-configurable logic arrays

John Christopher Willis; Joshua Alan Johnson; Ruth Ann Betcher


Archive | 2002

Semi-automatic generation of behavior models continuous value using iterative probing of a device or existing component model

John Christopher Willis


Archive | 1998

Apparatus and method for semi-automated generation and application of language conformity tests

John Christopher Willis; Robert N. Newshutz; Philip A. Wilsey


Archive | 2006

Accelerating simulation of differential equation systems having continuous behavior

John Christopher Willis

Collaboration


Dive into the John Christopher Willis's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Steven Lee Gregor

Air Force Research Laboratory

View shared research outputs
Researchain Logo
Decentralizing Knowledge