okay_老虎社区_美港股上老虎

Tj_
2021-10-09

okay

NVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote>

Visual computing company NVIDIA(NASDAQ:NVDA)has acquired formal verification firm Oski Technology. F

NVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote>

免责声明：上述内容仅代表发帖人个人观点，不构成本平台的任何投资建议。

推荐
最新

暂无评论

热议股票

{"i18n":{"language":"zh_CN"},"data":{"magic":2,"id":821430648,"tweetId":"821430648","gmtCreate":1633769450905,"gmtModify":1633769450905,"author":{"id":4088479336191950,"idStr":"4088479336191950","authorId":4088479336191950,"authorIdStr":"4088479336191950","name":"Tj_","avatar":"https://static.laohu8.com/default-avatar.jpg","vip":1,"userType":1,"introduction":"","boolIsFan":false,"boolIsHead":false,"crmLevel":11,"crmLevelSwitch":0,"individualDisplayBadges":[],"wearingBadges":[],"fanSize":15,"starInvestorFlag":false},"themes":[],"images":[],"coverImages":[],"title":"","extraTitle":"","html":"<html><head></head><body><p>&nbsp;okay</p></body></html>","htmlText":"<html><head></head><body><p>&nbsp;okay</p></body></html>","text":"okay","highlighted":1,"essential":1,"paper":1,"likeSize":2,"commentSize":1,"repostSize":0,"favoriteSize":0,"link":"https://laohu8.com/post/821430648","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohunote.com/m/news/1135231383?lang=zh_CN&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote>","url":"https://stock-news.laohu8.com/highlight/detail?id=1135231383","media":"seekingalpha","summary":"Visual computing company NVIDIA(NASDAQ:NVDA)has acquired formal verification firm Oski Technology.\nF","content":"<p><ul>  <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>  <li>Founded in 2005, Oski specializes in formal verification methods and has been a long-standing partner to NVIDIA for more than 10 years. The company operates offices in San Jose, Budapest and Gurgaon.</li>  <li>As NVIDIA's products have grown in complexity and scope, now spanning markets from gaming and data center computing to networking and autonomous vehicles, the importance of designing perfect first silicon has never been higher. And new autonomous machine applications where safety is the highest goal make verification vital.</li>  <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li> </ul></p><p><blockquote><ul><li>视觉计算公司 NVIDIA（纳斯达克股票代码：NVDA）收购了正式验证公司 Oski Technology。</li><li>Oski成立于2005年，专注于正式验证方法，10多年来一直是NVIDIA的长期合作伙伴。该公司在圣何塞、布达佩斯和古尔冈设有办事处。</li><li>随着 NVIDIA 产品的复杂性和范围不断增长，现在跨越了从游戏和数据中心计算到网络和自动驾驶汽车的市场，设计完美的第一块芯片的重要性从未如此之高。以安全为最高目标的新型自主机器应用使得验证至关重要。</li><li>收购 Oski 将使 NVIDIA 能够大幅增加对正式验证策略的投资，以实现这一目标。</li></ul></blockquote></p><p></p>","collect":0,"html":"<!DOCTYPE html>\n<html>\n<head>\n<meta http-equiv=\"Content-Type\" content=\"text/html; charset=utf-8\" />\n<meta name=\"viewport\" content=\"width=device-width,initial-scale=1.0,minimum-scale=1.0,maximum-scale=1.0,user-scalable=no\"/>\n<meta name=\"format-detection\" content=\"telephone=no,email=no,address=no\" />\n<title>NVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote></title>\n<style type=\"text/css\">\na,abbr,acronym,address,applet,article,aside,audio,b,big,blockquote,body,canvas,caption,center,cite,code,dd,del,details,dfn,div,dl,dt,\nem,embed,fieldset,figcaption,figure,footer,form,h1,h2,h3,h4,h5,h6,header,hgroup,html,i,iframe,img,ins,kbd,label,legend,li,mark,menu,nav,\nobject,ol,output,p,pre,q,ruby,s,samp,section,small,span,strike,strong,sub,summary,sup,table,tbody,td,tfoot,th,thead,time,tr,tt,u,ul,var,video{ font:inherit;margin:0;padding:0;vertical-align:baseline;border:0 }\nbody{ font-size:16px; line-height:1.5; color:#999; background:transparent; }\n.wrapper{ overflow:hidden;word-break:break-all;padding:10px; }\nh1,h2{ font-weight:normal; line-height:1.35; margin-bottom:.6em; }\nh3,h4,h5,h6{ line-height:1.35; margin-bottom:1em; }\nh1{ font-size:24px; }\nh2{ font-size:20px; }\nh3{ font-size:18px; }\nh4{ font-size:16px; }\nh5{ font-size:14px; }\nh6{ font-size:12px; }\np,ul,ol,blockquote,dl,table{ margin:1.2em 0; }\nul,ol{ margin-left:2em; }\nul{ list-style:disc; }\nol{ list-style:decimal; }\nli,li p{ margin:10px 0;}\nimg{ max-width:100%;display:block;margin:0 auto 1em; }\nblockquote{ color:#B5B2B1; border-left:3px solid #aaa; padding:1em; }\nstrong,b{font-weight:bold;}\nem,i{font-style:italic;}\ntable{ width:100%;border-collapse:collapse;border-spacing:1px;margin:1em 0;font-size:.9em; }\nth,td{ padding:5px;text-align:left;border:1px solid #aaa; }\nth{ font-weight:bold;background:#5d5d5d; }\n.symbol-link{font-weight:bold;}\n/* header{ border-bottom:1px solid #494756; } */\n.title{ margin:0 0 8px;line-height:1.3;color:#ddd; }\n.meta {color:#5e5c6d;font-size:13px;margin:0 0 .5em; }\na{text-decoration:none; color:#2a4b87;}\n.meta .head { display: inline-block; overflow: hidden}\n.head .h-thumb { width: 30px; height: 30px; margin: 0; padding: 0; border-radius: 50%; float: left;}\n.head .h-content { margin: 0; padding: 0 0 0 9px; float: left;}\n.head .h-name {font-size: 13px; color: #eee; margin: 0;}\n.head .h-time {font-size: 12.5px; color: #7E829C; margin: 0;}\n.small {font-size: 12.5px; display: inline-block; transform: scale(0.9); -webkit-transform: scale(0.9); transform-origin: left; -webkit-transform-origin: left;}\n.smaller {font-size: 12.5px; display: inline-block; transform: scale(0.8); -webkit-transform: scale(0.8); transform-origin: left; -webkit-transform-origin: left;}\n.bt-text {font-size: 12px;margin: 1.5em 0 0 0}\n.bt-text p {margin: 0}\n</style>\n</head>\n<body>\n<div class=\"wrapper\">\n<header>\n<h2 class=\"title\">\nNVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote>\n</h2>\n<h4 class=\"meta\">\n<p class=\"head\">\n<strong class=\"h-name small\">seekingalpha</strong><span class=\"h-time small\">2021-10-09 10:24</span>\n</p>\n</h4>\n</header>\n<article>\n<p><ul>  <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>  <li>Founded in 2005, Oski specializes in formal verification methods and has been a long-standing partner to NVIDIA for more than 10 years. The company operates offices in San Jose, Budapest and Gurgaon.</li>  <li>As NVIDIA's products have grown in complexity and scope, now spanning markets from gaming and data center computing to networking and autonomous vehicles, the importance of designing perfect first silicon has never been higher. And new autonomous machine applications where safety is the highest goal make verification vital.</li>  <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li> </ul></p><p><blockquote><ul><li>视觉计算公司 NVIDIA（纳斯达克股票代码：NVDA）收购了正式验证公司 Oski Technology。</li><li>Oski成立于2005年，专注于正式验证方法，10多年来一直是NVIDIA的长期合作伙伴。该公司在圣何塞、布达佩斯和古尔冈设有办事处。</li><li>随着 NVIDIA 产品的复杂性和范围不断增长，现在跨越了从游戏和数据中心计算到网络和自动驾驶汽车的市场，设计完美的第一块芯片的重要性从未如此之高。以安全为最高目标的新型自主机器应用使得验证至关重要。</li><li>收购 Oski 将使 NVIDIA 能够大幅增加对正式验证策略的投资，以实现这一目标。</li></ul></blockquote></p><p></p>\n<div class=\"bt-text\">\n\n\n<p> 来源：<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">seekingalpha</a></p>\n<p>为提升您的阅读体验，我们对本页面进行了排版优化</p>\n\n\n</div>\n</article>\n</div>\n</body>\n</html>\n","type":0,"thumbnail":"","relate_stocks":{"NVDA":"英伟达"},"source_url":"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology","is_english":true,"share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","article_id":"1135231383","content_text":"Visual computing company NVIDIA(NASDAQ:NVDA)has acquired formal verification firm Oski Technology.\nFounded in 2005, Oski specializes in formal verification methods and has been a long-standing partner to NVIDIA for more than 10 years. The company operates offices in San Jose, Budapest and Gurgaon.\nAs NVIDIA's products have grown in complexity and scope, now spanning markets from gaming and data center computing to networking and autonomous vehicles, the importance of designing perfect first silicon has never been higher. And new autonomous machine applications where safety is the highest goal make verification vital.\nThe Oski acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.","news_type":1,"symbols_score_info":{"NVDA":0.9}},"isVote":1,"tweetType":1,"viewCount":3670,"commentLimit":10,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"symbols":[],"verified":2,"subType":0,"readableState":1,"langContent":"CN","currentLanguage":"CN","warmUpFlag":false,"orderFlag":false,"shareable":true,"causeOfNotShareable":"","featuresForAnalytics":[],"commentAndTweetFlag":false,"andRepostAutoSelectedFlag":false,"upFlag":false,"length":4,"subscribersOnly":false,"subscribersOnlyAccessible":false,"xxTargetLangEnum":"ZH_CN"},"commentList":[],"hasMoreComment":false,"orderType":2}

NVIDIA acquires formal verification firm Oski Technology<blockquote>NVIDIA 收购正式验证公司 Oski Technology</blockquote>

评论（1）

热议股票