Albert Chiang Email & Phone Number

United States

SF Bay Area

1) Turnkey Design Verification Development: test and coverage plan writing, UVM environment build up, VIP integration, direct and constrained random test case writing, coverage (functional, assertion, code), scripting, version control 2) Assertion Based Verification using System Verilog Assertions (SVA)3) Universal Verification Methdology (UVM)4) PCIe and.

Palo Alto, California, United States

Developed technical demos to demonstrate features in VMware Blockchain.

Mountain View, California, United States

(formerly Oski Technology)1) Evangelized the power of formal verification to tackle deep corner case bugs, especially in complex control paths that simulation cannot hit easily 2) Introduced formal driven coverage to engineers accustomed to simulation driven coverage, including SystemVerilog Assertions (SVA), and differences in usage between formal and.

Fremont, California, United States

(formerly Mentor Graphics)1) Deployed Questsim's early SystemVerilog, SystemVerilog Assertions, and UPF low power technologies 2) Evangelized Mentor's early capabilities in cache coherency verification 3) Evangelized and deployed Mentor's "out of the box" formal verification methodologies such as structural design checks4) Drove the unification of Mentor's.

Mountain View, California, United States

1) Deployed VMM and RVM (pre-cursor to UVM) methodologies, with ARM AXI VIP, on customer system level designs based in Korea and Taiwan2) Deployed Vera High Level Verification language on customer Verilog and VHDL designs, using OOP framework to build scalable test bench 3) Paid consulting on multiple design verification projects at global tier 1 design.

Tempe, Arizona, United States

(formerly VLSI Technology)1) Implemented exportable version of VLSI's triple DES cipher chip. RTL coded in VHDL. Tests written in ARM assembly code. Simulation using Modelsim. Synthesis and timing using Synopsys Design Compiler. Chip passed FIPS certification on first pass.2) Implemented "delayed transaction" on PCI Slave block for a large North Bridge.

Chandler, Arizona, United States

1) Implemented the Enhance Event ProcessorArray (EEPA) on MCS-196 based microcontroller. RTL design coded in iHDL. Simulation using Dylink environment, MCS-196 assembly code. Schematic entry using SEES. Timing using CAPCHK and BVRGEN.2) System validation of Intel's 386EX embedded processor, including DMA, System Controller, I/O paths.3) Improve fault.

Master Of Business Administration - Mba

Bachelor Of Science - Bs, Electrical Engineering

Activities and Societies: Tau Beta Pi Eta Kappa Nu IEEEVLSI Digital Design