Skip navigation

My name is Chris Wilson and my background is in hardware design, primarily of high-end systems, at companies such as Amdahl, HAL Computers, Andor Systems, and Candlestick Networks. I received a Ph.D. in Electrical Engineering from Stanford University in the area of formal verification. My current position is Senior Director of Research, Jasper Design Automation. Previously I founded Nusym Technology, Inc.

The purpose of this blog is to talk about issues in designing complex hardware/software systems based on my experience and the research I have done.

The views expressed in this blog don’t necessarily reflect the views of my employer.



  1. Hi Chris,

    The MathWorks (you know, the MATLAB people) are getting into verification. We’ve realized that many people are using our tools to do verification. Principlay it’s functional verification, but people are doing HIL, PIL, SIL etc.

    Anyway, we’re coming to Silicon Valley in June, and one of the things we’re going to be talking about is verification.

    I’d like to invite you and the readers of your blog to come to an invitation-only seminar we’re running in Santa Clara. You can see the invite here:

    Hope you guys can make it,


  2. Hi Chris! Hi! I work with engineering website and would love to do an exchange of website links and feature your blog as a site of the day on EEWeb. Let me know if this is of interest to you! I can be reached at

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s

%d bloggers like this: