(r52) RequirementsGatheringGroup < VerilogAMS

VerilogAMS Web>AmsAssertions>RequirementsGatheringGroup (revision 52) (raw view)~~EditAttach~~

Requirements Gathering Group (RGG) Team (ordered alphabetically by last name)
   * Himyanshu Anand - Freescale, RTL-Circuit equivalence checking, AMS assertions
   * Kenneth Bakalar
   * Prabal Bhattacharya
   * Achim Bauer - exl-modeling, AMS modeling and verification
   * Eduard Cerny - Synopsys, Assertions, VCS simulator
   * Scott Cranston - Cadence, NC Simulator, Digital Simulation
   * Mike Demler
   * Surrendra Dudani
   * John Havlicek
   * Kevin Jones (RGG Leader) - Green Plug, AMS verification, languages, tools, formal methods
   * Jim Lear
   * Scott Little - Freescale, Formal methods, AMS verification
   * David Sharrit
   * [[RGGBackground][Background]] of requirements gathering group members.

If you wish to join the RGG team please send a mail to verilog-ams, At, eda DOT, org with the subject "Analog Assertions RGG"

---++ Documents
   * Requirements template by Kevin Jones is uploaded below.
   * [[RequirementsWorkingDraft][Working draft]] of requirements document.
   * [[http://www.eda.org/twiki/bin/viewfile.cgi/VerilogAMS/RequirementsGatheringGroup?rev=1;filename=bindProposal.pdf][Proposal]] for extending SV bind.
---++ ASVA mailing list

To subscribe to the ASVA mailing list send an e-mail with a blank subject and body to asva-subscribe@lists.accellera.org.

[[http://www.accellera.org/kmlm/member/list/archive?step%3Aint=1&referring_url=http%3A%2F%2Fwww.accellera.org%2Fkmlm%2Fmember%2Flist%3Flist_name%253Austring%253Aiso-8859-1%3Dasva%26referring_url%253Austring%253Aiso-8859-1%3D%252Fkws%252Fmy_participation&list_name=asva][ASVA mailing list archive]]

---++ Meeting Minutes
   * MeetingMinutes20090120
   * MeetingMinutes20090203
   * MeetingMinutes20090210
   * MeetingMinutes20090217
   * MeetingMinutes20090224
   * MeetingMinutes20090303
   * MeetingMinutes20090310
   * MeetingMinutes20090317
   * MeetingMinutes20090324
   * MeetingMinutes20090331
   * MeetingMinutes20090409
   * MeetingMinutes20090416
   * MeetingMinutes20090423
   * MeetingMinutes20090428
   * MeetingMinutes20090507
   * MeetingMinutes20090521
   * MeetingMinutes20090528
   * MeetingMinutes20090604
   * MeetingMinutes20090611
   * MeetingMinutes20090618
   * MeetingMinutes20090624
   * MeetingMinutes20090701
   * MeetingMinutes20090708
   * MeetingMinutes20090715
   * MeetingMinutes20090722
   * MeetingMinutes20090729
   * MeetingMinutes20090805
   * MeetingMinutes20090819
   * MeetingMinutes20090826
   * MeetingMinutes20090902
   * MeetingMinutes20090909
   * MeetingMinutes20090916
   * MeetingMinutes20090923
   * MeetingMinutes20090930
   * MeetingMinutes20091006
   * MeetingMinutes20091014
   * MeetingMinutes20091028
   * MeetingMinutes20091104
   * MeetingMinutes20091111
   * MeetingMinutes20100127
   * MeetingMinutes20100203
   * MeetingMinutes20100210
   * MeetingMinutes20100217
   * MeetingMinutes20100303
   * MeetingMinutes20100407
   * MeetingMinutes20100505

-- Main.ScottLittle - 2010-05-05

   * [[%ATTACHURL%/bindProposal.pdf][bindProposal.pdf]]: Ideas about SV/VAMS interoperability for assertions. <p> </p>

   * [[%ATTACHURL%/semantics.pdf][semantics.pdf]]: Some Notes on Realtime Semantics

Attachments

I	Attachment	Action	Size	Date	Who	Comment
pdf	AnalogSimulationInteraction_Dejan.pdf	manage	39.7 K	2009-07-29 - 14:12	AnandHimyanshu	Assertion Based Simulation Control of Analog Simulator - Dejan Nickovic
pdf	Analog_Assertion_Sampling_Requirements.pdf	manage	222.5 K	2009-07-28 - 17:37	JimLear	Description of the type of sampling of analog quantities needed for analog assertions.
pdf	RequirementsDraft_KevinJones.pdf	manage	31.0 K	2009-02-02 - 21:45	AnandHimyanshu	Requirements (Draft) by Kevin Jones
pdf	bindProposal.pdf	manage	46.3 K	2009-05-20 - 23:29	ScottLittle	Ideas about SV/VAMS interoperability for assertions.
txt	outline-2010-07-14.txt	manage	2.5 K	2010-07-15 - 21:14	ScottLittle	Outline of remaining assertions tasks.
pdf	semantics.pdf	manage	194.5 K	2010-07-15 - 21:06	ScottLittle	Some Notes on Realtime Semantics
txt	seq_prop_interaction.txt	manage	5.6 K	2010-07-15 - 21:08	ScottLittle	Notes on realtime sequence and property interaction

Topic revision: r1 - 2010-07-15 - 21:14:12 - TWikiGuest

VerilogAMS