Constraints and Generation TF

[Ken Sailor <Ken_Sailor@pmc-sierra.com>]

Allow me to introduce myself,  Ken Sailor and lead on the Constraint and Generation TF.

I signed up to the task force first and was thus chosen to lead it.  If you would like to be leader of this task force, don't hesitate to send me an email.

I'm manager of verification for a division of PMC-Sierra and have managed verification groups for several years.  I was part of a startup company that built an expermental ATM switch and although I contributed to its architecture, my main work was in its control software.  After our company was purchased by PMC in 98, I worked one project doing pre-silicon verification before being promoted to managing verification groups as well as contributing to high level architectural analysis.  

Over the last few years, I have managed several groups working with Specman and have seen second hand the value of the coverage driven, random approach.  I have also witnessed the productivity gains we have had using Specman.

I have a PhD in Computer Science.  My specialty was high level programming languages with emphasis on syntax and semantics.

In terms of standardizing e, I have a great deal more experience with programming language standards than with e in particular.  Constraints and generation are a singular and important feature of e and I look forward to the work.

------------------------------------------------------------
Ken Sailor
Technical Advisor & SPD Verification Manager
PMC-Sierra, Inc.
tel 306-651-4707