Presenter
Scott Meeth
Biography
Spent thirteen years in Hardware Design Verification at Sun Microsystems, working in simulation/BFMs and model checking, applied to integrated I/O chips and later UltraSparc processors.
Spent six years in formal verification IP at Jasper Design Automation (later Cadence Design Systems), developing assertion-based protocol checkers for various AMBA protocols.
Have been at ARM for seven years, developing and maintaining AMBA protocol checkers for use with model checking.
Spent six years in formal verification IP at Jasper Design Automation (later Cadence Design Systems), developing assertion-based protocol checkers for various AMBA protocols.
Have been at ARM for seven years, developing and maintaining AMBA protocol checkers for use with model checking.
Presentations
Front-End Design
Design
Engineering Tracks
Front-End Design