Alex Petruncola / Ken L. McMillan / Curt McDowell / Jim Laudon / Tuan Tran / Pat Conway / Dave Koller / Mike McNamara / Ken Jacobsen / Dawn Maxon / Todd Massey / Thom Derenthal / Alex Silbey / Y BDD / Martin Frankel / Dave Parry / Steve Whitney / George Kaldani / John Keen / Chuck Narad / Dick Hessel / Ron Nikel / Steve Padnos / Ken McMillan / Rick Paul / Peter Ostrin / Dave Harmon / Bob Alfieri / Stan Bailes / Gutrum Wolski / Eric Williams / Rich Weber / Dan Lenoski / Joanne Allen / Eiriksson McMillan / Ben Fathi / Mike Galles / /
Position
Modify Abstract Specification specification document translation translation smv system model / Symbolic Model / node controller / verilog model for any unit / feed-forward / Memory/Directory controller / logic designer / /