Artificial Intelligence | News | Insights | AiThority
[bsfp-cryptocurrency style=”widget-18″ align=”marquee” columns=”6″ coins=”selected” coins-count=”6″ coins-selected=”BTC,ETH,XRP,LTC,EOS,ADA,XLM,NEO,LTC,EOS,XEM,DASH,USDT,BNB,QTUM,XVG,ONT,ZEC,STEEM” currency=”USD” title=”Cryptocurrency Widget” show_title=”0″ icon=”” scheme=”light” bs-show-desktop=”1″ bs-show-tablet=”1″ bs-show-phone=”1″ custom-css-class=”” custom-id=”” css=”.vc_custom_1523079266073{margin-bottom: 0px !important;padding-top: 0px !important;padding-bottom: 0px !important;}”]

Onespin Launches “App” for Formal Verification of Floating-Point Hardware Critical for Machine Learning and Deep Learning Chips

OneSpinSolutions launched OneSpin 360 DV Floating Point Unit (FPU) App, an application add-on to the OneSpin 360 DV Property Checker™ for the formal verification of floating-point hardware compliant with the IEEE 754 standard.

The new app offers exhaustive coverage to uncover deep, corner-case bugs in IEEE 754 implementations and includes a reliable model of floating-point arithmetic operations optimized for formal analysis, increasing development speed and quality of IEEE 754 FPUs. It verifies that results of arithmetic operations accurately match the standard’s specifications, checking all rounding modes and exception flags. Half, single or double precision formats can be selected, less common precisions can be accommodated, and users can selectively disable checks. All major operations are supported except division.

Read More: Interview with Joe Dumoulin, CTO & Innovation Officer at Verint Intelligent Self-Service

Related Posts
1 of 6,927

Integration with the OneSpin 360 verification platform lets engineers use all 360 DV advanced debug features. Additional dedicated debug capabilities are available, including a high-level view of floating-point data types to accelerate the analysis and debug process. Complexity issues are mitigated through the automatic selection of OneSpin’s proof engines and strategies.

Read More: Interview with Sebastian Martinez, Head of Nisum Blockchain Lab

“Machine learning and deep learning place high demands on performance and accuracy of FPUs,” remarks Nicolae Tusinschi, product specialist, design verification at OneSpin. “This app enables engineers to uncover deep, corner-case bugs with minimal effort and gain full confidence in their IEEE 754 implementations. The FPU App found bugs on multiple verified production designs, a testament to its exhaustive coverage of floating-point arithmetic operations.”

Read More: Setting the Stage Now for Artificial Intelligence Success in 2019

21 Comments
  1. Copper scrap recycling plant Copper scrap import regulations Metal recycling processing
    Copper cable scrap management, Scrap metal resale, Copper scrap reprocessing

  2. Woah! I’m really enjoying the template/theme of this website. It’s simple, yet effective. A lot of times it’s difficult to get that “perfect balance” between user friendliness and visual appeal. I must say that you’ve done a excellent job with this. In addition, the blog loads very fast for me on Safari. Superb Blog!

  3. глаз бога тг says

    Fabulous, what a weblog it is! This blog provides helpful data to us, keep it up.

  4. cs 2 skin bets website 2024 says

    It’s really a cool and helpful piece of information. I’m satisfied that you simply shared this helpful info with us. Please stay us informed like this. Thank you for sharing.

  5. One of the leading academic and scientific-research centers of the Belarus. There are 12 Faculties at the University, 2 scientific and research institutes. Higher education in 35 specialities of the 1st degree of education and 22 specialities.

  6. Hi there! I know this is kinda off topic but I was wondering which blog platform are you using for this site? I’m getting fed up of WordPress because I’ve had issues with hackers and I’m looking at options for another platform. I would be great if you could point me in the direction of a good platform.

  7. Hey there, You have performed an excellent job. I will definitely digg it and for my part recommend to my friends. I am sure they will be benefited from this web site.

  8. hot fiesta игра says

    Its like you read my mind! You seem to know so much about this, like you wrote the book in it or something. I think that you could do with some pics to drive the message home a bit, but other than that, this is great blog. An excellent read. I’ll definitely be back.

  9. хот фиеста слот says

    Incredible! This blog looks exactly like my old one! It’s on a entirely different topic but it has pretty much the same layout and design. Wonderful choice of colors!

  10. I will right away take hold of your rss as I can not find your email subscription link or newsletter service. Do you have any? Please allow me realize so that I may just subscribe. Thanks.

  11. I’m not sure where you are getting your info, but good topic. I needs to spend some time learning more or understanding more. Thanks for wonderful information I was looking for this information for my mission.

  12. Теннис онлайн says

    Today, I went to the beachfront with my kids. I found a sea shell and gave it to my 4 year old daughter and said “You can hear the ocean if you put this to your ear.” She put the shell to her ear and screamed. There was a hermit crab inside and it pinched her ear. She never wants to go back! LoL I know this is completely off topic but I had to tell someone!

  13. Heya i’m for the primary time here. I came across this board and I in finding It truly useful & it helped me out a lot. I hope to provide something back and help others like you helped me.

  14. 1Строительство автомойки – это инвестиция в стабильный бизнес. Мы сотрудничаем только с проверенными поставщиками и используем самые современные технологии.

  15. Hi there, I enjoy reading all of your article. I like to write a little comment to support you.

  16. anilingus.tv says

    Respect to post author, some fantastic information
    My website: анальное порно

  17. Джак says

    Hey there, You have performed an excellent job. I will definitely digg it and for my part recommend to my friends. I am sure they will be benefited from this site.

  18. theguardian says

    Undeniably consider that that you stated. Your favourite justification appeared to be at the net the simplest thing to take into account of. I say to you, I definitely get irked at the same time as other people consider concerns that they plainly do not recognize about. You controlled to hit the nail upon the top as welland also defined out the whole thing with no need side effect , other folks can take a signal. Will likely be back to get more. Thank you

  19. Tifanny says

    I am young and dirty and I think quite nice to look at. My tits are natural and my nipples are extensive chat with her. Hehe now don’t keep me waiting and let’s go before someone else does and calls me.

  20. Emily Braun says

    Welcome to one of the good chatting blonde cam girls of mobile evices

Leave A Reply

Your email address will not be published.