Methods and systems for modeling concurrent behavior

Details Methods and systems for modeling concurrent behavior Methods and systems for modeling concurrent behavior

2005-01-14

2009-10-13

Vu, Tuan Anh (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Code generation

Reexamination Certificate

active

07603656

ABSTRACT:
Methods and systems for modeling concurrent behavior in a sequential programming environment using sequential-execution languages to describe and model multiple different processes which are running simultaneously.

REFERENCES:
patent: 6286130 (2001-09-01), Poulsen et al.
patent: 1284454 (2002-08-01), None
McUmber et al, “UML-Based Analysis of Embedded Systems Using a Mapping to VHDL”, 1999, 4thIEEE International Symposium of High-Assurance Systems Engineering pp. 1-8.
Carr et al, “Integration of UML and VHDL-AMS for analogue system modeling”, 2004, Formal Aspects of Computing, 16:80-94, pp. 80-94.
“What Is Object-Oriented Programming (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/opp.htm; Printed from Internet Jul. 29, 2004; 2 pgs., Anonymous.
“What Is An Object (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/object.htm; Printed from Internet Jul. 29, 2004; 1 pg., Anonymous.
“What Is A Class (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/class.htm; Printed from Internet Jul. 29, 2004; 1 pg., Anonymous.
“What Is A Method (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/method.htm; Printed from Internet Jul. 29, 2004; 1 pg., Anonymous.
“What Is A Variable (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/variable.htm; Printed from Internet Jul. 29, 2004; 1 pg., Anonymous.
“What Is Data Modeling (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/datamode.htm; Printed from Internet Jul. 29, 2004; 1 pg., Anonymous.
“What Is UML (Unified Modeling Language) (a definition)”, http://iroi.seu.edu.cn/books/ee—dic/whatis/uml.htm; Printed from Internet Jul. 29, 2004; 2 pgs., Anonymous.
Loughman, “Rational Rose: Creating Use-Case And Class Diagrams”, Version 1.0, Oct. 19, 2000, 21 pgs.
Matzko et al., “Reveal: A Tool To Reverse Engineer Class Diagrams”, 2002, 9 pgs.
“1.3 Concepts of VHDL”, http://www.vhdl-online.de/˜vhdl/tutorial/englisch/ct—11.htm, Printed from Internet Sep. 16, 2004, 1 pg., Anonymous.
Dictionary Of Programming Languages, http://dgibin.erols.com/ziring/cgi-bin/cep/cep.pl?—key=Visual+Basic, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
Dictionary Of Programming Languages, http://cgi-bin.erols.com/ziring/cgi-bin/cep/cep.pl?—key=VHDL, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
TechWeb: The Business Technology Network, http://www.techweb.com/encyclopedia/defineterm?term=RTL, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
TechWeb: The Business Technology Network, http://www.techweb.com/encyclopedia/defineterm?term=Verilog, Printed from Internet Jul. 28, 2004, 4 pgs., Anonymous.
TechWeb: The Business Technology Network, http://www.techweb.com/encyclopedia/defineter?term=vhdl, Printed from Internet Jul. 28, 2004, 4 pgs., Anonymous.
“ModelSim Code Coverage”, Datasheet, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
ModelSim Products & Solutions, http://www.model.com/products/default.asp, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
EEdesign, “VHDL-200x Improves Design And Verification Productivity”, http://www.eedesign.com/features/exclusive/OEF20031106S0043, Printed from Internet Jul. 28, 2004, 13 pgs., Anonymous.
“ModelSim SE”, http://www.model.com/products/se.asp, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
“ModelSim PE”, http://www.model.com/products/pe.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim PE”, datasheet, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
ModelSim, Comparison Of ModelSim PE, LE and SE Products, Printed from Internet Jul. 28, 2004, 1 pg., Anonymous.
“ModelSim SE”, datasheet, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
“Scalable Verification”, datasheet, Mentor Graphics, www.mentor.com/fv, Printed from Internet Jul. 28, 2004, 4 pgs., Anonymous.
“ModelSim Performance And User Interface Key To Success of Siemens Mixed-Language ASIC”, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“Switching To Model Technology's Tool Enables Oxford Semiconductor To Reduce Simulation Time Dramatically”, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Enables Rapid Prototyping Of VeriWave Wireless LAN Test Equipment”, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“Infineon Technologies Trusts ModelSim Mixed-Language Simulation To Create Next-Gen Chip”, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 4 pgs., Anonymous.
“ModelSim 5.8 Quick Guide”, Mentor Graphics, www.mentor.com, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Languages”, http://www.model.com/products/languages.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Compute Farms”, http://www.model.com/products/compute—farms.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Testbenches”, http://www.model.com/products/testbenches.asp, Printed from Internet Jul. 28, 2004, 1 pg., Anonymous.
“ModelSim Performance”, http://www.model.com/products/performance.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Assetions/PSL”, http://www.model.com/products/assertions.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim Debug Environment”, http://www.model.com/products/debug.asp, Printed from Internet Jul. 28, 2004, 1 pg., Anonymous.
“Mentor Graphics Announces Scalable Verification Platform”, Mentor Graphics, http://www.mentor.com/press—releases/oct03/1065803579185.html, Printed from Internet Jul. 28, 2004, 7 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/alteraandmentor.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/sicanadopts.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/xilinxjoinsforces.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/pixelfusion.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/platformscomputing.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/ikos—hardware.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/alteranowshipping.asp, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/verify—2000.asp, Printed from Internet Jul. 28, 2004, 3 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/xilinx—ip.asp, Printed from Internet Jul. 28, 2004, 1 pg., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/zoo.asp, Printed from Internet Jul. 28, 2004, 1 pgs.
“ModelSim News”, http://www.model.com
ews—events/vhdl—simulation.asp, Printed from Internet Jul. 28, 2004, 1 pg., Anonymous.
“ModelSim News”, http://www.model.com
ews—events
ewhigher—performance.asp,, Printed from Internet Jul. 28, 2004, 2 pgs., Anonymous.
“ModelSim News”, http://www.model.com
ews—events/toshiba.asp, Printed from Internet Jul. 28, 2004

Affiliated with

Also associated with

Rating

Methods and systems for modeling concurrent behavior does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods and systems for modeling concurrent behavior, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods and systems for modeling concurrent behavior will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4083178