📄 http:^^www.cs.utexas.edu^users^shma^hwv.html
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 21:32:18 GMT
Content-Type: text/html
Content-Length: 3221
Last-Modified: Friday, 13-Oct-95 19:41:26 GMT
<HTML><HEAD><TITLE>Hardware Verification</TITLE></HEAD><!BODY BACKGROUND="pict/littlefluffyclouds.gif"><!BODY BACKGROUND="pict/green.gif"><!-- BODY BACKGROUND="pict/rain.gif"--><BODY><CENTER><H1>Hardware Verification</H1></CENTER><p><!-- CENTER> <!WA0><!WA0><!WA0><IMG SRC="http://www.cs.utexas.edu/users/shma/pict/banner.gif"> </CENTER --><CENTER> <!WA1><!WA1><!WA1><IMG SRC="http://www.cs.utexas.edu/users/shma/pict/const.gif"> </CENTER><p><p><DL><DT><h3><!WA2><!WA2><!WA2><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/happy.gif"> Course presentation: </h3><DD> <!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4001.gif"> slides 1-4 </a><DD> <!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4002.gif"> slides 5-8 </a><DD> <!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4003.gif"> slides 9-12 </a><DD> <!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4004.gif"> slides 13-16 </a><DD> <!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4005.gif"> slides 16-20 </a><DD> <!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4006.gif"> slides 21-24 </a><DD> <!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4007.gif"> slides 25-28 </a><DD> <!WA10><!WA10><!WA10><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4008.gif"> slides 29-32 </a><DD> <!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4009.gif"> slides 33-36 </a><DD> <!WA12><!WA12><!WA12><a href="http://www.cs.utexas.edu/users/shma/emerson/pre/inc4010.gif"> slides 37-39 </a></DL><h3>Conference cousre reports (instructed by <!WA13><!WA13><!WA13><a href="http://www.cs.utexas.edu/users/emerson/">Prof. <em>Emerson</em></a>)<h3><h4> <DL><DD> <!WA14><!WA14><!WA14><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.happy.gif" ALT=":-)"> Report one <!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/shma/emerson/p1.html"> <!WA16><!WA16><!WA16><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a><DD> <!WA17><!WA17><!WA17><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.happy.gif" ALT=":-)"> Report two <!WA18><!WA18><!WA18><a href="http://www.cs.utexas.edu/users/shma/emerson/p2/p2.html"> <!WA19><!WA19><!WA19><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a><DD> <!WA20><!WA20><!WA20><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.sad.gif" ALT=":-("> Report three <!WA21><!WA21><!WA21><a href="http://www.cs.utexas.edu/users/shma/emerson/p3.html"> <!WA22><!WA22><!WA22><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a><DD> <!WA23><!WA23><!WA23><IMG SRC="http://www.cs.utexas.edu/images/stanford/smile.sad.gif" ALT=":-("> Report four <!WA24><!WA24><!WA24><a href="http://www.cs.utexas.edu/users/shma/emerson/p4/p4.html"> <!WA25><!WA25><!WA25><img align=middle src="http://www.cs.utexas.edu/users/shma/Icon/archiv.gif"></a></DL></h4> <p><hr><p><h3>Hardware verification links</h3><h4><uL><li> <!WA26><!WA26><!WA26><a href="http://www.id.dtu.dk/~jst/design_html/HWveri.html"> Hardware verification</a> at the Techincal University of Denmark<li> A bunch of <!WA27><!WA27><!WA27><a href="http://ptolemy.eecs.berkeley.edu/papers/codesign/"> hardware/software codesign </a> papers at UC Berkeley<li> More <!WA28><!WA28><!WA28><a href="http://akebono.stanford.edu/users/cad/theforce/hyang/research.html"> hardware verification </a> papers from Stanford university<li> Here is a <!WA29><!WA29><!WA29><a href="http://lal.cs.byu.edu/cs501/homepage.html"> <em>computer system verification</em></a> course provided by <br> Brigham Young University, they also prepared a long <!WA30><!WA30><!WA30><a href="http://lal.cs.byu.edu/lal/reading-list/reading-list.html"> reading list </a> <br> for graduate students<LI> A <!WA31><!WA31><!WA31><a href="http://atb-www.larc.nasa.gov/hardware-ver.html"> hardware verification homepage</a> from NASA Langley</DL><center> <!WA32><!WA32><!WA32><img src="http://www.cs.utexas.edu/users/shma/pict/wh_bar.gif"> </center><CENTER><TABLE BORDER=4 CELLPADDING=0 WIDTH="50%"><TR> <TD><TD ALIGN=center> <!WA33><!WA33><!WA33><img src="http://www.cs.utexas.edu/users/shma/pict/bamboo2.gif" border=2> </TD><TD ALIGN=left><!WA34><!WA34><!WA34><a href="http://www.cs.utexas.edu/users/shma/">Shaobing Ma</a><br> Ph.D Student in <!WA35><!WA35><!WA35><a href="http://www.cs.utexas.edu/">CS</a>, <!WA36><!WA36><!WA36><a href="http://wwwhost.cc.utexas.edu/">UT Austin</a><br>Phone: (512)482-9343<br>Email:<!WA37><!WA37><!WA37><A HREF="mailto:shma@cs.utexas.edu"> shma@cs.utexas.edu </A> </TD></TR></TABLE></CENTER><p></BODY><!-- ====================================================================== --></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -