<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>liveasic.com Blog &#187; Verification Languages</title>
	<atom:link href="http://liveasic.com/blog/index.php/category/verification-languages/feed/" rel="self" type="application/rss+xml" />
	<link>http://liveasic.com/blog</link>
	<description>Just another WordPress weblog</description>
	<lastBuildDate>Wed, 11 Nov 2009 14:38:58 +0000</lastBuildDate>
	<generator>http://wordpress.org/?v=2.8.4</generator>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
			<item>
		<title>System Verilog 1 &#8216;TimeScale&#8217;</title>
		<link>http://liveasic.com/blog/2009/11/11/system-verilog-1-timescale/</link>
		<comments>http://liveasic.com/blog/2009/11/11/system-verilog-1-timescale/#comments</comments>
		<pubDate>Wed, 11 Nov 2009 14:38:09 +0000</pubDate>
		<dc:creator>lasic</dc:creator>
				<category><![CDATA[System Verilog]]></category>
		<category><![CDATA[Verification Languages]]></category>

		<guid isPermaLink="false">http://liveasic.com/blog/?p=66</guid>
		<description><![CDATA[In this edit, lets see the advancement is System Verilog over traditional Verilog as for as timescale is concerned.
In verilog lets see how a clock is implemented.
reg clock;
initial clock &#60;= 1&#8242;b0;
forever #10 clock &#60;= ~clock;
In the above example what is the frequency of the clock generated????
The answer is not readily available since it depends on [...]]]></description>
			<content:encoded><![CDATA[<p>In this edit, lets see the advancement is System Verilog over traditional Verilog as for as timescale is concerned.</p>
<p style="padding-left: 30px;">In verilog lets see how a clock is implemented.</p>
<p style="padding-left: 60px;"><span style="color: #888888;">reg </span>clock;</p>
<p style="padding-left: 60px;"><span style="color: #888888;">initial </span>clock &lt;= 1&#8242;b0;<br />
<span style="color: #888888;">forever </span>#10 clock &lt;= ~clock;</p>
<p style="padding-left: 30px;">In the above example what is the frequency of the clock generated????<br />
The answer is not readily available since it depends on more factors. It depends on the `timescale directive.</p>
<p style="padding-left: 60px; ">`<span style="color: #888888;">timescale </span>1ns/10ps</p>
<p style="padding-left: 30px; ">The problem with depending on a compiler directive <span style="color: #888888;">timescale </span>is that, compiler directives are influenced by the compile order of the source code.</p>
<p style="padding-left: 30px; ">
<p style="padding-left: 30px; ">This issue has been pretty well fixed in System Verilog. In SV we can specify timescale and precision for each module and much more importantly its not a compiler directive.<br />
These are implemented as declarative statements.</p>
<p style="padding-left: 60px; "><span style="color: #888888;">timeunits </span>1ns;<br />
<span style="color: #888888;">timeprecision </span>10ps;</p>
<p style="padding-left: 30px; ">The units specified for <span style="color: #888888;">timeunits</span> and <span style="color: #888888;">timeprecision <span style="color: #000000;">can be</span></span></p>
<p style="padding-left: 60px; "><span style="color: #888888;"><span style="color: #000000;"> s &#8211; seconds<br />
ms &#8211; milliseconds<br />
ns &#8211; nanoseconds<br />
ps &#8211; picoseconds<br />
fs &#8211; femtoseconds</span></span></p>
<p style="padding-left: 30px; "><span style="color: #888888;"><span style="color: #000000;">There is one more option available is SV, you can even specify the timeunits in the clock declartion as below:</span></span></p>
<p style="padding-left: 60px;"><span style="color: #888888;">reg </span>clock;</p>
<p style="padding-left: 60px;"><span style="color: #888888;">initial </span>clock &lt;= 1&#8242;b0;<br />
<span style="color: #888888;">forever </span>#10ns clock &lt;= ~clock;</p>
<p style="padding-left: 30px; "><span style="color: #888888;"><span style="color: #000000;"> Here we see that we can directly say #1ons as the clock period.</span></span></p>
<p style="padding-left: 30px; "><span style="color: #888888;"><span style="color: #000000;"><br />
</span></span></p>
<p style="padding-left: 60px; "><span style="color: #888888;"><span style="color: #000000;"> </span></span></p>
]]></content:encoded>
			<wfw:commentRss>http://liveasic.com/blog/2009/11/11/system-verilog-1-timescale/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>System Verilog, An intro to the tutorials in store</title>
		<link>http://liveasic.com/blog/2009/10/19/system-verilog-an-intro-to-the-tutorials-in-store/</link>
		<comments>http://liveasic.com/blog/2009/10/19/system-verilog-an-intro-to-the-tutorials-in-store/#comments</comments>
		<pubDate>Mon, 19 Oct 2009 11:57:23 +0000</pubDate>
		<dc:creator>lasic</dc:creator>
				<category><![CDATA[System Verilog]]></category>
		<category><![CDATA[Verification Languages]]></category>
		<category><![CDATA[ASIC]]></category>
		<category><![CDATA[FPGA]]></category>
		<category><![CDATA[HVL]]></category>
		<category><![CDATA[SOC]]></category>
		<category><![CDATA[Specman]]></category>
		<category><![CDATA[System Bus]]></category>
		<category><![CDATA[Verification]]></category>
		<category><![CDATA[Verilog]]></category>
		<category><![CDATA[VHDL]]></category>

		<guid isPermaLink="false">http://liveasic.com/blog/?p=15</guid>
		<description><![CDATA[An Introduction to System Verilog listing the new features that differentiate it from Verilog.]]></description>
			<content:encoded><![CDATA[<p style="text-align: left;">System Verilog is the world&#8217;s first HDVL (Hardware Design Verification Language).<br />
The other languages like &#8216;e&#8217; and &#8216;Vera&#8217; have been HVLs (Hardware Verification Languages.</p>
<p>System Verilog has features for</p>
<ul>
<li>RTL Design     </li>
<li>Assertions     </li>
<li>Verification</li>
</ul>
<p>System Verilog has evolved borrowing features and aspects from</p>
<ul>
<li>Verilog</li>
<li>Superlog</li>
<li>VHDL</li>
<li>PSL (Property Specification Language)     </li>
<li>C     </li>
<li>Vera</li>
</ul>
<p> <br />
In the series of tutorials that we plan to publish, we will see the features of System Verilog including but not limited to    </p>
<ul>
<li>Data Types     </li>
<li>Enum, struct, union, typedef     </li>
<li>Packed and unpacked arrays/structs     </li>
<li>Packages     </li>
<li>Multidimensional Arrays     </li>
<li>Strings     </li>
<li>Dynamic Arrays     </li>
<li>Associative Arrays</li>
<li>Classes with single inheritance     </li>
<li>Constraints     </li>
</ul>
<p>Control and Procedural Statements        </p>
<ol>
<li>if, case         </li>
<li>for, foreach, while, do while, </li>
<li>repeat, forever         </li>
<li>break, continue, return     </li>
</ol>
<ul>
<li>Functions and Procedures     </li>
<li>Fork, suspend, kill, wait, disable     </li>
<li>DPI (Direct Programming Interface)     </li>
<li>always_ff     always_latch     always_comb     </li>
<li>Interfaces, Virtual Interaces, Advanced interfaces     </li>
<li>Semaphore, Mailbox, Enhanced Events</li>
<li>Queues, Linked List     </li>
<li>Constraint Randomization     </li>
<li>Functional Coverage (covergroups, coverpoints)</li>
</ul>
<p>We will go into detailed examples discussing all these features in the coming days. Happy Blogging.</p>
]]></content:encoded>
			<wfw:commentRss>http://liveasic.com/blog/2009/10/19/system-verilog-an-intro-to-the-tutorials-in-store/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

<!-- Dynamic Page Served (once) in 0.480 seconds -->
