Tom Carlson Email & Phone Number

268 Summer Street, Boston, Ma

Web development in Ruby on Rails is a SAAS web application.

Implemented language features for the Formality Verilog, V2K and SystemVerilog compilers.Co-designed/co-implemented a full typing system, allowing full type annotation of the Object Model (internal rep of original source code).Designed/implemented the compiler Object Model for the Formality V2K and SystemVerilog compilers.Designed/implemented high level editing commands enabling chip designers to implement changes (ECOs) late in the design cycle.Extensive profiling and instrumenting of Formality to significantly improve run-time and memory footprint. Reduced memory footprint of gate-to-gate runs by 15%. As part of a team, reduced Formality RTL-to-gate runtime by 1.3X. Refactored specific svf processing guides to result in 24X runtime speedup and 30% memory reduction.Refactored topological matching via an object-oriented partition manager ensuring evenly balanced partitions for improved performance.Designed/implemented internal literal package to encapsulate all literal (signed,unsigned,x,z constant) processing.Co-designed, implemented concordance operator naming with DesignCompiler.Front-end (compiler) liason with various Synopsys tools and customers.

Billerica, Ma

Co-implemented Orion, a prototype next generation Verilog front-end.Maintained Builder (Compiler) phase of the Chrysalis Formal Verification Engine.Responsible for memory/speed improvements, bug fixes and object model data structure enhancements.

Billerica, Ma

Designed/implemented most of the Builder (Compiler) phase of the Chrysalis Formal Verification Engine.Responsible for memory/speed improvements, bug fixes and object model data structure enhancements.

Nashua, Nh

Language feature support for DEC C++ Alpha/VMS and Unix.Designed/implemented debugging support for the DEC C++ compilers targeted to Unix and VMS.Implemented dbx debug support for compiler by mapping COFF (Third Eye) symbol table constructs.Performance/Capacity tuning : extensive testing and tuning to improve run-time performance.

Nashua, Nh

* Scheduled and coordinated development of the DECC AlphaVMS compiler. Produced and shipped a production quality compiler for customers, which was also used to build the VMS operating system. * Performance monitoring, tuning, implementation of new functionality. Provided training sessions and technical support for licensed users of DECC.

Wakefield, Ma

* Scheduled and coordinated development of the Compass ANSI C compiler. Ported/augmented test systems for this compiler and the Compass C RTL, integrating regression, conformance, and performance tests. * Technical resource for the back-end components and primary contact for customers using the Compass C compiler; provided training sessions and technical support.* Co-designed/implemented the Compass C compiler Build phase, transforming CIR (Common Intermediate Representation) into LIR (Lowered Intermediate Representation) suitable for local and global optimization.

Wakefield, Ma

Implemented code generation and branch phases of Compass Fortran 8x compiler for VAX, i860 and 68020.Implemented translator to convert Fortran with 8x array extensions to Connection Machine Fortran.Designed/implemented a Fortran 77 code generator targeted to a Sun 68020 platform.

Newport, Ri

Directed team of sonar operators during certification runs of software builds for Trident submarines.Maintained/developed code for the simulation/stimulation subsystem, a support system used to artificially generate ocean conditions in a landbased lab facility.

Bachelor Of Science (Bs), Computer Science

Activities and Societies: Phi Beta Kappa

Education record