Upcoming Events

Design complexity is increasing, time to market is shrinking, compute resources and staffing stay the same (if you are lucky!). During verification planning and execution we are confronted with many choices.

The Complex Adaptive Systems model serves as a useful decision framework for evaluating these trade-offs, formalizing an ad hoc process that has been used by many successful verification projects. For example, when is it more effective to use one type of stimulus sand make it more efficient ("increase ROI") vs. employing a variety of types of stimulus?

This talk shows how ideas from complexity research can provide practical guidance for verifying complex designs today and tomorrow.

Ken Albin bio: After earning an MSEE degrees at Kansas State University, Ken worked in the Processor Technology department at Rockwell-Collins in Cedar Rapids, Iowa; formal verification research firm Computational Logic Inc; on advanced verification tools and methodology at Motorola/Freescale Semiconductor, and at AMD focusing on verification methodology.