Matt, The support for real is semantically very rich. Supporting random real in constraints is a hard problem. However there are other nuances of supporting state real in constraints as well. Once real variables interacts with finite precision integral variables we need to define how relational operators work, how intervals behave, how casting works, what is the tolerance of errors etc. I hope that we can go over all the mathematical details. I would like to come to these meetings when these issues are discussed. Regards, Dhiraj -----Original Message----- From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Maidment, Matthew R Sent: Tuesday, March 03, 2015 1:34 AM To: sv-bc@eda.org; sv-ec@eda.org Subject: [sv-ec] First Draft of BC/EC Scope slides Hi All. Here's the first draft of slides based on our two meetings to-date: https://drive.google.com/file/d/0B8CYvIRINElVenJOU3pIb001Ymc/view?usp=sharing More work needs to be done to incorporate UVM feedback but want to open for feedback/input. Please provide actionable feedback. If you want a copy of the ppt file to help make edits, let me know. Matt -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Mar 3 11:48:18 2015
This archive was generated by hypermail 2.1.8 : Tue Mar 03 2015 - 11:48:22 PST