Arm
Principal Design Engineer
Oracle Jun 2011 - Jan 2017
Consulting Hardware Engineer
Marvell Semiconductor Nov 2006 - May 2011
Senior Staff Engineer
Intel Corporation 1999 - 2006
Staff Verification Engineer
Amd 1993 - 1999
Senior Engineer
Education:
The University of Texas at Austin 1988 - 1992
Bachelors, Bachelor of Science, Electrical Engineering
Skills:
Asic Debugging Application Specific Integrated Circuits System on A Chip Verilog Low Power Design Interconnect Functional Verification Static Timing Analysis
Nancy Woodbridge - Austin TX, US Enrique Rendon - Pflugerville TX, US Mark Fullerton - Austin TX, US
International Classification:
G06F 13/42
US Classification:
710106000
Abstract:
In some embodiments a Universal Serial Bus On-The-Go (USB OTG) device includes a USB device controller, a USB host controller, a USB OTG transceiver, and a controller to control a coupling between the USB device controller, the USB host controller, and the USB OTG transceiver, and to control whether the USB device controller, the USB host controller, or a combination of the USB device controller and the USB host controller controls the USB OTG transceiver. Other embodiments are described and claimed.
Mike Lowe - Austin TX Paul Berndt - Austin TX Tahsin Askar - Austin TX Enrique Rendon - Pflugerville TX
Assignee:
Advanced Micro Devices, Inc. - Sunnyvale CA
International Classification:
G06F 1300
US Classification:
710129
Abstract:
A system and method for dynamic verification of functionality of an HDL (Hardware Description Language) design of a computer system component is disclosed. A simulated model of the HDL design is created. A test configuration for the simulated model is selected through a configuration interpretation mechanism, based on a plurality of user-supplied parameters. The user-supplied parameters, for example, include the amount of the memory in the system, the number of memory banks, addresses of various PCI devices, the type of the CPU etc. The test configuration is then compiled. At run-time, the test configuration is simulated. The responses by the simulated model of the HDL design to various test stimuli from a stimulus file are then evaluated under the chosen test configuration. One or more different test configurations may be simulated at run-time, and the stimulated model's responses to a pre-determined set of test stimuli may be reevaluated for each such test configuration. Thus, the test configuration is effectively separated from the test stimulus generation mechanism.
Verification Strategy Using External Behavior Modeling
Mike Lowe - Austin TX Mark LaVine - Austin TX Jelena Ilic - Austin TX Paul Berndt - Austin TX Tahsin Askar - Austin TX Enrique Rendon - Pflugerville TX Hamilton B. Carter - Austin TX
Assignee:
Advanced Micro Devices, Inc. - Sunnyvale CA
International Classification:
G06F 13368
US Classification:
710119
Abstract:
A verification system and method for verifying operation of an HDL (Hardware Description Language) design of a computer system component are disclosed. The computer system is configured to interface between a first bus and second bus. During verification, a simulated model of the HDL design is coupled to a simulated first bus and a simulated second bus. A designated stimulus is applied to the simulated model through the simulated first bus. A stimulus file stored in the computer system memory is configured to specify the designated stimulus to be applied. In response to the designated stimulus, the simulated model initiates bus cycles on the simulated second bus. A transaction checker is provided in the computer system memory to receive information relating to these bus cycles from said simulated second bus. By employing two different busses--one to apply a stimulus and the other to resolve the bus cycle through transaction checking--an effective decoupling of test stimulus from the checking environment is achieved. Due to decoupling, the test environment can be made more robust, and can be used to generate random responses, remap memory, inject errors into data streams etc.
Mike Lowe - Austin TX Mark LaVine - Austin TX Jelena Ilic - Austin TX Paul Berndt - Austin TX Tahsin Askar - Austin TX Enrique Rendon - Pflugerville TX Hamilton Carter - Austin TX
Assignee:
Advanced Micro Devices, Inc. - Sunnyvale CA
International Classification:
G06F 1300
US Classification:
703 14
Abstract:
A system and method for memory incoherent verification of functionality of an HDL (Hardware Description Language) design of a computer system component is disclosed. A simulated model of the HDL design receives a memory read stimulus from a stimulus file through a simulated first bus. The simulated model of the HDL design is configured to send its response to the stimulus onto a simulated second bus. A transaction checker receives the response from the simulated second bus and analyzes it to verify operation of the HDL design of the computer system component. The stimulus file and the transaction checker are both stored in the computer system memory. The simulated model's response to the memory read stimulus is evaluated by the transaction checker independently of any previous memory write stimulus from the stimulus file. There is no need to have a previous memory write operation or a master initialization of the system memory for every memory read operation. This enhances the sequences of operations that may be applied to a device under test.