📄 http:^^www.cs.washington.edu^homes^ortega^embedded.html
字号:
Date: Tue, 10 Dec 1996 03:38:20 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Tue, 26 Nov 1996 23:13:01 GMTContent-length: 16752<html><head><TITLE>Embedded Hardware/Software Co-design Links</TITLE></head><body><H1>Embedded Hardware/Software Co-design Links</H1><DL> <DT><H2> Organization of this page</H2> <DL><p> <DT> <!WA0><!WA0><!WA0><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#conferences">Conferences/Workshops</A> <DT> <!WA1><!WA1><!WA1><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#groups">Codesign Related Groups</A> <DT> <!WA2><!WA2><!WA2><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#internet">Internet Embedded Resources</A> <DT> <!WA3><!WA3><!WA3><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#companies">EDA Companies</A> <DT> <!WA4><!WA4><!WA4><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#systems">Interesting Embedded Systems</A> <DT> <!WA5><!WA5><!WA5><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#people">People in Codesign</A> <DT> <!WA6><!WA6><!WA6><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#rtos">Real-time Operating Systems and Languages</A> <DT> <!WA7><!WA7><!WA7><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#departments">Real-time Departments</A> <DT> <!WA8><!WA8><!WA8><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#protocols"">Protocols</A> <DT> <!WA9><!WA9><!WA9><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#magazines">Technical Journals/Magazines</A> <DT> <!WA10><!WA10><!WA10><A HREF="http://www.cs.washington.edu/homes/ortega/embedded.html#databook">Hardware/Databooks</A> </DL><p> <DT><A NAME = "conferences"><H2>Conferences/Workshops</H2></A> <DL><p> <DT><!WA11><!WA11><!WA11><A HREF="http://www.cs.ucr.edu/isss96/">9th International Symposium on System Synthesis</A> <DD> November 6-8, 1996 <p> <DT><!WA12><!WA12><!WA12><A HREF="http://www.imec.be/edtc/97/">EUROPEAN DESIGN & TEST CONFERENCE 1997</A> <DD> Deadline: September 6, 1996 <p> <DT><!WA13><!WA13><!WA13><A HREF="http://www.computer.org/conferen/proceed/rsp95/rsp95tc.htm">RSP '95: Abstracts</A> <p> <DT><!WA14><!WA14><!WA14><A HREF="http://akebono.stanford.edu/users/nanni/nato/index.html">1995 NATO ASI: Hardware/Software Co-design</A> <p> </DL><p> <DT><A NAME = groups><H2>Codesign Related Groups</H2> <DL><p> <DT><!WA15><!WA15><!WA15><A HREF="http://www.elec.uq.oz.au/~parkinso/asp.html">ASP (Queensland)</A> <DD>FPGA based, translate C to VHDL <p> <DT><!WA16><!WA16><!WA16><A HREF="http://www.cs.washington.edu:80/research/projects/lis/chinook/www/">Chinook (Washington)</A> <DD>Chinook is a hardware-software co-synthesis CAD tool for embedded systems The main topics include the interfacing problem between hardware and software components, scheduling under timing constraints, and partitioning of functionality. <p> <DT><!WA17><!WA17><!WA17><A HREF="http://www.princeton.edu/~yauli/cinderella/">Cinderella 2.0 WWW Home Page</A> <p> <DT><!WA18><!WA18><!WA18><A HREF="http://bear.ces.cwru.edu/research/hard_soft.html">COMET (Case Western)</A> <p> <DT><!WA19><!WA19><!WA19><A HREF="http://verdon.imag.fr/Homepages/cosmos/SLS.html">Cosmos/Solar</A> <p> <DT><!WA20><!WA20><!WA20><A HREF="http://134.169.29.29/cosyma/cosyma/cosyma.html">Cosyma</A> <p> <DT><!WA21><!WA21><!WA21><A HREF="http://http://www.microelectronic.e-technik.th-darmstadt.de/">DICE (Darmstadt)</A> <p> <DT><!WA22><!WA22><!WA22><A HREF="http://ftp.arpa.mil/ResearchAreas/Defense_Technology_Integration_and_Infrastructure/Embeddable_Systems.html">Embeddable Systems (ARPA)</A> <p> <DT><!WA23><!WA23><!WA23><A HREF="http://cma.cma.fr:80/Esterel/">Esterel</A> <p> <DT><!WA24><!WA24><!WA24><A HREF="http://www.esat.kuleuven.ac.be/acca/acca.html">GRAPE II</A> <p> <DT><!WA25><!WA25><!WA25><A HREF="http://www.imec.be/5/5.2.2.2.1.html">IMEC</A> <p> <DT><!WA26><!WA26><!WA26><A HREF="http://www-cad.eecs.berkeley.edu/Respep/Research/hsc/abstract.html">Polis (Berkeley)</A> <p> <DT><!WA27><!WA27><!WA27><A HREF="http://www.comlab.ox.ac.uk/archive/procos/codesign.html">Provably Correct ProCos (Hoare)</A> <p> <DT><!WA28><!WA28><!WA28><A HREF="http://ptolemy.eecs.berkeley.edu/Ptolemy.html">Ptolemy (Berkeley)</A> <p> <DT><!WA29><!WA29><!WA29><A HREF="http://rassp.scra.org/">RASSP (ARPA)</A> <p> <DT><!WA30><!WA30><!WA30><A HREF="http://cma.cma.fr/RC/general-presentation.html">REACTIVE C PROJECT</A> <p> <DT><!WA31><!WA31><!WA31><A HREF="http://lancelot.gcs.redstone.army.mil/rg4/rtems.html">RTEMS (Army)</A> <p> <DT><!WA32><!WA32><!WA32><A HREF="http://borneo.gmd.de/~theissin/sydisinstall/doc/sircastle.html">The SIR/CASTLE system (GMD)</A> <p> <DT><!WA33><!WA33><!WA33><A HREF="http://borneo.gmd.de:80/EES/">SET/Embedded Software Design (GMD)</A> <DD>The group is concerned with specification, construction, and analysis techniques for embedded systems, in particular embedded software. <p> <DT><!WA34><!WA34><!WA34><A HREF="http://rle-vlsi.mit.edu/spam/">The SPAM Project</A> <p> <DT><!WA35><!WA35><!WA35><A HREF="http://www-scf.usc.edu/~batista/research.html">System-Level Design of Application Specific Heterogeneous Multiprocesssors</A> <p> <DT><!WA36><!WA36><!WA36><A HREF="http://www.ele.vtt.fi/projects/vrp/vrp.html">Web Site of the VRP Project</A> <p> </DL> <p> <DT><A NAME = "internet"><H2>Internet Embedded Resources</H2> <DL><p> <DT><!WA37><!WA37><!WA37><A HREF="http://www.techcentral.com/html/dsph.html">DSP Resources</A> <DD>DSP related resources <p> <DT><!WA38><!WA38><!WA38><A HREF="http://www.hitex.com/automation/home.html">Home Page Automation and Process Control</A> <DD>Many resources related to uproc/ucontroller, process control, industrial communication. and robotics. <p> <DT><!WA39><!WA39><!WA39><A HREF="http://cio-sys.cisco.com/univercd/data/doc/cintrnet/75818.htm">Internetworking Technology Overview</A> <p> <DT><!WA40><!WA40><!WA40><A HREF="http://www.realtime-os.com/">E. Douglas Jensen: Real-Time Distributed Operating Systems</A> <p> <DT><!WA41><!WA41><!WA41><A HREF="http://sunsite.unc.edu/mdw/LDP/khg/khg.html">Linux Kernel Hacker's Guide</A> <p> <DT><!WA42><!WA42><!WA42><A HREF="http://www.ssc.com/ssc/Employees/johnsonm/devices.html">Writing Linux Device Drivers</A> <p> <DT><!WA43><!WA43><!WA43><A HREF="http://www.cs.virginia.edu/~vadb/morertresearch.html">More Real-Time Research</A> <p> <DT><!WA44><!WA44><!WA44><A HREF="http://www.sky.net/~rrasa/ee.html">Randy's Electronic Engineering Page</A> <p> <DT><!WA45><!WA45><!WA45><A HREF="http://www.DACafe.com/">Design Automation Cafe</A> <p> <DT><!WA46><!WA46><!WA46><A HREF="http://cs-www.bu.edu/pub/ieee-rts/Home.html">The IEEE-CS TC-RTS Home Page</A> <p> <DT><!WA47><!WA47><!WA47><A HREF="http://www.ifi.unizh.ch/groups/ailab/embedded.html">Embedded and Real-Time Systems (Swiss)</A> <p> <DT><!WA48><!WA48><!WA48><A HREF="http://www.compapp.dcu.ie/~cdaly/embed/embedsys.html">Embedded Systems (Ireland)</A> <p> <DT><!WA49><!WA49><!WA49><A HREF="http://www.softaid.net/emulators.html">Softaid's Home Page</A> <p> <DT><!WA50><!WA50><!WA50><A HREF="http://www.cis.ohio-state.edu:80/text/faq/usenet/realtime-computing/top.html">Realtime Computing (USENET groups)</A> <p> <DT><!WA51><!WA51><!WA51><A HREF="http://www.greatbasin.net/~daveh">Dave's Embedded Directory</A> <p> <DT><!WA52><!WA52><!WA52><A HREF="http://www.oritools.com:80/info/">Embedded Sys. Devel. Info (ORION)</A> <p> <DT><!WA53><!WA53><!WA53><A HREF="http://www.cera.com/faqroad.htm">FAQROAD - Embedded Systems (CERA)</A> <p> <DT><!WA54><!WA54><!WA54><A HREF="http://www.comlab.ox.ac.uk/archive/safety.html">The World Wide Web Virtual Library: Safety-Critical Systems</A> <p> <DT><!WA55><!WA55><!WA55><A HREF="http://epims1.gsfc.nasa.gov/engineering/ee.html">The World-Wide Web Virtual Library: Electrical Engineering</A> <p> <DT><!WA56><!WA56><!WA56><A HREF="http://www.ncstrl.org/">Networked Computer Science Technical Reports Library</A> <p> <DT><!WA57><!WA57><!WA57><A HREF="http://www.lib.uwaterloo.ca/society/eleceng_soc.html">Resources of Scholarly Societies - Electrical & Computer Engineering</A> <p> </DL> <p> <DT><A NAME = "companies"><H2>EDA Companies</H2> <DL><p> <DT><!WA58><!WA58><!WA58><A HREF="http://www.altagroup.com">Alta Group</A> <p> <DT><!WA59><!WA59><!WA59><A HREF="http://www.cadence.com">Cadence Design Systems</A> <p> <DT><!WA60><!WA60><!WA60><A HREF="http://www.chronology.com">Chronology</A> <p> <DT><!WA61><!WA61><!WA61><A HREF="http://www.ilogix.com">i-Logix</A> <p> <DT><!WA62><!WA62><!WA62><A HREF="http://www.mentorg.com"> Mentor Graphics </A> <p> <DT><!WA63><!WA63><!WA63><A HREF="http://www.synopsys.com">Synopsys Home Page</A> <p> <DT><!WA64><!WA64><!WA64><A HREF="http://www.synthesia.se">The Internet Home of Synthesia</A> <p> <DT><!WA65><!WA65><!WA65><A HREF="http://www.viewlogic.com">Viewlogic</A> <p> </DL> <p> <DT><A NAME = "systems"><H2>Interesting Embedded Systems</H2> <DL><p> <DT><!WA66><!WA66><!WA66><A HREF="http://HTTP.CS.Berkeley.EDU/~pattrsn/lecture294.html">Intelligent DRAM (IRAM)</A> <p> <DT><!WA67><!WA67><!WA67><A HREF="http://www.damek.kth.se/index.html">DAMEK</A> <DD>MMK Home Page -- DAMEK <p> <DT><!WA68><!WA68><!WA68><A HREF="http://www-flash.stanford.edu/">FLASH</A> <DD>The Stanford FLASH Project <p> <DT><!WA69><!WA69><!WA69><A HREF="http://infopad.eecs.berkeley.edu/">The InfoPad WWW Server</A> <p> </DL> <p>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -