[sv-ec] Typo: Modify the following paragraph in section 13.4.3 Set membership

From: Rich, Dave <Dave_Rich_at_.....>
Date: Thu Mar 23 2006 - 18:37:53 PST
Mantis 1393 entered
http://www.eda.org/svdb/bug_view_page.php?bug_id=0001393

Modify the following paragraph in section 13.4.3 Set membership

Replace


constraint c3 { v inside fives; }

 

With


constraint c3 { v inside { fives }; }

 

 

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 
Received on Thu Mar 23 18:38:04 2006

This archive was generated by hypermail 2.1.8 : Thu Mar 23 2006 - 18:38:11 PST