- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21.
- 22.
- 23.
- 24.
- 25.
- 26.
- 27.
- 28.
- 29.
- 30.
- 31.
- 32.
- 33.
- 34.
- 35.
- 36.
- 37.
- 38.
- 39.
- 40.
- 41.
- 42.
- 43.
- 44.
- 45.
- 46.
- 47.
- 48.
- 49.
- 50.
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57.
- 58.
- 59.
- 60.
- 61.
- 62.
- 63.
- 64.
- 65.
- 66.
- 67.
- 68.
- 69.
- 70.
- 71.
- 72.
- 73.
- 74.
- 75.
- 76.
- 77.
- 78.
- 79.
- 80.
- 81.
- 82.
- 83.
- 84.
- 85.
- 86.
- 87.
- 88.
- 89.
- 90.
- 91.
- 92.
- 93.
- 94.
- 95.
- 96.
- 97.
- 98.
- 99.
- 100.
- 101.
- 102.
- 103.
- 104.
- 105.
- 106.
- 107.
- 108.
- 109.
- 110.
- 111.
- 112.
- 113.
- 114.
- 115.
- 116.
- 117.
- 118.
- 119.
- 120.
- 121.
- 122.
- 123.
- 124.
- 125.
- 126.
- 127.
- 128.
- 129.
- 130.
- 131.
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><title>Averant</title><style media="all" type="text/css">@import "css/all.css";</style><script type="text/javascript" src="js/menu.js"></script><meta http-equiv="content-type" content="text/html; charset=utf-8" /><meta name="keywords" content=""><meta name="description" content=""></head><body><div id="index-header"><div class="top-header"></div><div class="top-navigation"> <a href="index.html" class = "logo">averant</a><ul><li><a href="#" class="request-information">contact</a></li><li><a href="#" class="contact">offices</a></li></ul></div><div class="header-image"><div class="header-home" title="The Power of Formal Verification..."></div></div></div><div id="content"><div class="main-navigation"><ul id="main-navigation"> <li><a href="#" class="home"> Home</a> </li> <li><a <em>class="products"> Products</a> <ul> <li><a href="#">Products Summary</a></li> <li><a href="#">Solidify</a></li> <li><a href="#">SolidAC</a></li> <li><a href="#">SolidPC</a></li> <li><a href="#">SolidTC</a></li> </ul> </li> <li><a <em>class="documents"> Documents & Resources</a> <ul> <li><a href="#">White papers</a></li> <li><a href="#">FAQ</a></li> <li><a href="#">Links</a></li> </ul> </li> <li><a <em>class="company"> Company</a> <ul> <li><a href="#">Profile</a></li> <li><a href="#">Management</a></li> <li><a href="#">Careers</a></li> <li><a href="#">Partners</a></li> </ul> </li> <li><a <em>class="customers"> Customers</a> <ul> <li><a href="#">Customers</a></li> <li><a href="#">Testimonials</a></li> </ul> </li> <li><a href="#" class="news"> News & Events</a> </li> </ul><form action="#" method="post"><input type="text" name="search" class="search" /><input type="image" src="img/btn-search.gif" /></form></div><div class="right-box" id="right-navigation"><ul id="headlines"><li class="name"><a href="#">Averant and AerieLogic to ease the usage of formal property verification</a></li><li></li><li class="grey">december 19, 2007</li><li class="name"><a href="#">Averant Announces Release of SolidPC 2.0, ARM AMBA 3 Assured Status</a></li><li></li><li class="grey">august 28, 2007</li></ul><ul id="testimonials"><li class="name"><a href="testimonials.html#2">Wireless Networking Group</a></li><li>Using Solidify, the unit-level verification of a wireless networking product is drastically reduced ...</li><li class="grey">Rex Hsueh, Project Lead, Wireless Networking Group. AMD</li><li class="name"><a href="testimonials.html#3">System Micro Division, Fujitsu</a></li><li>Solidify uses a Verilog like property language, making it is easy for designers to understand and wr...</li><li class="grey">Toshiyuki Igarashi, Manager, MCU Technology, System Micro Di...</li></ul></div><!--content--><p> <font class="blue-bold">For fast, rigorous, comprehensive analysis</font> of digital designs, nothing compares to the power of static functional verification. </p><p> <font class="blue-bold">Averant brings you</font> a suite of powerful verification tools, all built upon the most advanced formal verification technology available anywhere. </p><div id="index-image"> <div class="buttons"> <a <em>class="a-at" href="#"></a><a <em>class="a-tc" href="#"></a><a <em>class="a-pc" href="#"></a><a <em>class="a-solid" href="#"></a> </div> <div class="caption"> <a <em>id="red" href="#">Automatic Design Checks</a> <a id="blue" href="#">Automatic Design Checks</a> <a id="green" href="#">Automatic Design Checks</a> <a id="yellow" href="#">Automatic Design Checks</a> </div></div><p> <font class="blue-bold">Assure quality for your designs</font> - run the verification system that represents the most complete form of analysis there is. </p><p class="blue-bold"> Verification assured. Averant. </p><!--/content--></div><div id="footer">Copyright Averant, Inc. © 2007</div></body></html>