NVIDIA acquires formal verification firm Oski Technology_老虎社区_美港股上老虎

NVIDIA acquires formal verification firm Oski Technology

seekingalpha2021-10-09

Visual computing company NVIDIA(NASDAQ:NVDA)has acquired formal verification firm Oski Technology.
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.
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.
The Oski acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.

免责声明：本文观点仅代表作者个人观点，不构成本平台的投资建议，本平台不对文章信息准确性、完整性和及时性做出任何保证，亦不对因使用或信赖文章信息引发的任何损失承担责任。

159

BabySim
·2021-10-09
Ok
回复
1
举报
收起
- bernicee:
  ok
  2021-10-10
  回复
  举报
Tj_
·2021-10-09
okay
回复
2
举报
收起
- BabySim:
  Ok
  2021-10-09
  回复
  举报
Tj_
·2021-10-09
okay
回复
点赞
举报
Jazling
·2021-10-09
Wow
回复
2
举报
收起
- Jazling:
  Ok
  2021-10-09
  回复
  举报
ValuInvestor
·2021-10-09
More great products ahead
回复
4
举报
收起
- TKCat:
  Their tech is cutting edge
  2021-10-09
  回复
  举报
- FlareSpark:
  True
  2021-10-09
  回复
  举报
losty
·2021-10-09
Like
回复
8
举报
收起
- Dindindino:
  Ok
  2021-10-09
  回复
  举报
- KYLeong:
  Liked
  2021-10-09
  回复
  举报
- JANICELSJ:
  Ok
  2021-10-09
  回复
  举报
yeelyn18
·2021-10-09
Cool
回复
4
举报
收起
- yeelyn18:
  Nice
  2021-10-09
  回复
  举报
ARIESan
·2021-10-09
👍 nice
回复
2
举报
收起
- vincentlaubc:
  ok
  2021-10-09
  回复
  举报
Ignis
·2021-10-09
Ya ok
回复
2
举报
收起
- newbe1001:
  ok
  2021-10-09
  回复
  举报
Never ever f
·2021-10-09
Gogogo
回复
1
举报
收起
- Ignis:
  hahaha
  2021-10-09
  回复
  举报

热议股票

7x24

全部

{"i18n":{"language":"zh_CN"},"data":{"share":"https://www.laohu8.com/m/news/1135231383?lang=zh_CN&edition=full","thumbnail":"","is_english":true,"pubTime":"2021-10-09 10:24","share_image_url":"https://static.laohu8.com/e9f99090a1c2ed51c021029395664489","id":"1135231383","market":"us","top_or_hot":-1,"title":"NVIDIA acquires formal verification firm Oski Technology","media":"seekingalpha","content":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","source":null,"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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">网页链接</a>\n\n</div>\n\n\n</article>\n</div>\n</body>\n</html>\n","isBrief":false,"type":0,"news_type":1,"symbol":"NVDA","symbol_name":"英伟达","start_time":0,"source_url":"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology","article_id":"1135231383","we_media_id":null,"thumbnails":[],"rights":null,"url":"https://stock-news.laohu8.com/highlight/detail?id=1135231383","pubTimestamp":1633746259,"columns":[],"sourceInfo":null,"weMediaInfo":null,"summary":"Visual computing company NVIDIA(NASDAQ:NVDA)has acquired formal verification firm Oski Technology.\nF","collect":0,"end_time":0,"defaultTopTitle":"seekingalpha.com","property":[],"viewcount":null,"language":"en","relate_stocks":{"NVDA":"英伟达"},"translate_title":"英伟达收购正式验证公司Oski Technology","themeId":null,"isJumpTheme":false,"ttsUrl":null,"symbols_score_info":{"NVDA":0.9},"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.","kind":"news","is_publish_news":true,"is_publish_highlight":true,"is_publish_live":false,"is_publish_wemedia":null,"editions":null,"column":"","sentiment":"0","news_tag":"","news_rank":0,"symbols":[],"gpt_button":1,"code":"91000000","status":"200"},"commentList":[{"id":821759142,"gmtCreate":1633794954838,"gmtModify":1633794954944,"author":{"id":"3579673211261157","authorId":"3579673211261157","name":"BabySim","avatar":"https://static.tigerbbs.com/5c6f0cd54fab9f24929e66e54e08e3aa","vip":1,"crmLevel":2,"crmLevelSwitch":0,"authorIdStr":"3579673211261157","idStr":"3579673211261157"},"htmlText":"Ok","listText":"Ok","text":"Ok","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":1,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821759142","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6145134,"gmtCreate":1633799733819,"gmtModify":1634717629459,"authorId":4087551175434900,"author":{"id":4087551175434900,"idStr":"4087551175434900","authorId":4087551175434900,"name":"bernicee","avatar":"https://static.tigerbbs.com/404609156ba30f025a868b6363d71155","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821759142,"type":1,"supId":0,"prevId":0,"content":"ok","text":"ok","html":"ok"}],"langContent":"CN"},{"id":821430648,"gmtCreate":1633769450905,"gmtModify":1633769450905,"author":{"id":"4088479336191950","authorId":"4088479336191950","name":"Tj_","avatar":"https://static.laohu8.com/default-avatar.jpg","vip":1,"crmLevel":2,"crmLevelSwitch":0,"authorIdStr":"4088479336191950","idStr":"4088479336191950"},"htmlText":"&nbsp;okay","listText":"&nbsp;okay","text":"okay","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":2,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821430648","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6144939,"gmtCreate":1633794951140,"gmtModify":1634717647866,"authorId":3579673211261157,"author":{"id":3579673211261157,"idStr":"3579673211261157","authorId":3579673211261157,"name":"BabySim","avatar":"https://static.tigerbbs.com/5c6f0cd54fab9f24929e66e54e08e3aa","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821430648,"type":1,"supId":0,"prevId":0,"content":"Ok","text":"Ok","html":"Ok"}],"langContent":"CN"},{"id":821430954,"gmtCreate":1633769438297,"gmtModify":1633769438297,"author":{"id":"4088479336191950","authorId":"4088479336191950","name":"Tj_","avatar":"https://static.laohu8.com/default-avatar.jpg","vip":1,"crmLevel":2,"crmLevelSwitch":0,"authorIdStr":"4088479336191950","idStr":"4088479336191950"},"htmlText":"&nbsp;okay","listText":"&nbsp;okay","text":"okay","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":0,"commentSize":0,"repostSize":0,"link":"https://laohu8.com/post/821430954","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"langContent":"CN"},{"id":821580443,"gmtCreate":1633759738140,"gmtModify":1633759738763,"author":{"id":"3566821013640470","authorId":"3566821013640470","name":"Jazling","avatar":"https://static.tigerbbs.com/85e0a83573d9307f57fca9b2baed72af","vip":1,"crmLevel":5,"crmLevelSwitch":0,"authorIdStr":"3566821013640470","idStr":"3566821013640470"},"htmlText":"Wow","listText":"Wow","text":"Wow","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":2,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821580443","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6141320,"gmtCreate":1633759744488,"gmtModify":1634717923130,"authorId":3566821013640470,"author":{"id":3566821013640470,"idStr":"3566821013640470","authorId":3566821013640470,"name":"Jazling","avatar":"https://static.tigerbbs.com/85e0a83573d9307f57fca9b2baed72af","vip":1,"crmLevel":5,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821580443,"type":1,"supId":0,"prevId":0,"content":"Ok","text":"Ok","html":"Ok"}],"langContent":"CN"},{"id":821261939,"gmtCreate":1633748490574,"gmtModify":1633748490943,"author":{"id":"4087361572396550","authorId":"4087361572396550","name":"ValuInvestor","avatar":"https://static.tigerbbs.com/5a962911d3cd0763a9f0cb01392cacd9","vip":1,"crmLevel":3,"crmLevelSwitch":0,"authorIdStr":"4087361572396550","idStr":"4087361572396550"},"htmlText":"More great products ahead","listText":"More great products ahead","text":"More great products ahead","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":4,"commentSize":2,"repostSize":0,"link":"https://laohu8.com/post/821261939","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6140083,"gmtCreate":1633748767221,"gmtModify":1634718031229,"authorId":3575764061064234,"author":{"id":3575764061064234,"idStr":"3575764061064234","authorId":3575764061064234,"name":"TKCat","avatar":"https://static.tigerbbs.com/99ee288f493a95ddc49f6f7bbeb74457","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821261939,"type":1,"supId":0,"prevId":0,"content":"Their tech is cutting <u>edge</u>","text":"Their tech is cutting <u>edge</u>","html":"Their tech is cutting <u>edge</u>"},{"id":6140539,"gmtCreate":1633751668502,"gmtModify":1634717991372,"authorId":3584955097359320,"author":{"id":3584955097359320,"idStr":"3584955097359320","authorId":3584955097359320,"name":"FlareSpark","avatar":"https://static.tigerbbs.com/38942f5d417a8d645800903b08402b4e","vip":1,"crmLevel":1,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821261939,"type":1,"supId":0,"prevId":0,"content":"True","text":"True","html":"True"}],"langContent":"CN"},{"id":821287431,"gmtCreate":1633748146027,"gmtModify":1633748271188,"author":{"id":"3568883640417353","authorId":"3568883640417353","name":"losty","avatar":"https://static.tigerbbs.com/c49f1f2b3571ddd8e83ba724663f8f97","vip":1,"crmLevel":4,"crmLevelSwitch":0,"authorIdStr":"3568883640417353","idStr":"3568883640417353"},"htmlText":"Like","listText":"Like","text":"Like","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":8,"commentSize":3,"repostSize":0,"link":"https://laohu8.com/post/821287431","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6139982,"gmtCreate":1633748247587,"gmtModify":1634718038821,"authorId":3585008979244156,"author":{"id":3585008979244156,"idStr":"3585008979244156","authorId":3585008979244156,"name":"Dindindino","avatar":"https://static.tigerbbs.com/8aa54f4d7f1ed33d80d2d8d18918fb30","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821287431,"type":1,"supId":0,"prevId":0,"content":"Ok","text":"Ok","html":"Ok"},{"id":6139993,"gmtCreate":1633748294672,"gmtModify":1634718037842,"authorId":3585654473355479,"author":{"id":3585654473355479,"idStr":"3585654473355479","authorId":3585654473355479,"name":"KYLeong","avatar":"https://static.tigerbbs.com/111375adba6b10bddbeeb78b9ead7c80","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821287431,"type":1,"supId":0,"prevId":0,"content":"Liked","text":"Liked","html":"Liked"},{"id":6141100,"gmtCreate":1633757080820,"gmtModify":1634717944121,"authorId":3579777216498074,"author":{"id":3579777216498074,"idStr":"3579777216498074","authorId":3579777216498074,"name":"JANICELSJ","avatar":"https://static.laohu8.com/default-avatar.jpg","vip":1,"crmLevel":4,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821287431,"type":1,"supId":0,"prevId":0,"content":"Ok","text":"Ok","html":"Ok"}],"langContent":"CN"},{"id":821282238,"gmtCreate":1633747767131,"gmtModify":1633747767388,"author":{"id":"3574914526090483","authorId":"3574914526090483","name":"yeelyn18","avatar":"https://static.tigerbbs.com/ae47c3e96729c68a0234dd22850dfe69","vip":1,"crmLevel":2,"crmLevelSwitch":0,"authorIdStr":"3574914526090483","idStr":"3574914526090483"},"htmlText":"Cool","listText":"Cool","text":"Cool","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":4,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821282238","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6139865,"gmtCreate":1633747772537,"gmtModify":1634718049327,"authorId":3574914526090483,"author":{"id":3574914526090483,"idStr":"3574914526090483","authorId":3574914526090483,"name":"yeelyn18","avatar":"https://static.tigerbbs.com/ae47c3e96729c68a0234dd22850dfe69","vip":1,"crmLevel":2,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821282238,"type":1,"supId":0,"prevId":0,"content":"Nice","text":"Nice","html":"Nice"}],"langContent":"CN"},{"id":821289832,"gmtCreate":1633747258856,"gmtModify":1633747259315,"author":{"id":"4087545408973980","authorId":"4087545408973980","name":"ARIESan","avatar":"https://static.tigerbbs.com/ab7b9364a4791173d66fbb5fda8ef925","vip":1,"crmLevel":2,"crmLevelSwitch":0,"authorIdStr":"4087545408973980","idStr":"4087545408973980"},"htmlText":"👍 nice&nbsp;","listText":"👍 nice&nbsp;","text":"👍 nice","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":2,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821289832","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6139843,"gmtCreate":1633747661463,"gmtModify":1634718051602,"authorId":3574048205972490,"author":{"id":3574048205972490,"idStr":"3574048205972490","authorId":3574048205972490,"name":"vincentlaubc","avatar":"https://static.tigerbbs.com/527738d1afb729d071d6d5a4b247954f","vip":1,"crmLevel":6,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821289832,"type":1,"supId":0,"prevId":0,"content":"<u>ok</u>","text":"<u>ok</u>","html":"<u>ok</u>"}],"langContent":"CN"},{"id":821217265,"gmtCreate":1633747132131,"gmtModify":1633747132948,"author":{"id":"3574686466924712","authorId":"3574686466924712","name":"Ignis","avatar":"https://static.tigerbbs.com/543d1f3e8b4901fba226eb61e5713bc4","vip":1,"crmLevel":3,"crmLevelSwitch":0,"authorIdStr":"3574686466924712","idStr":"3574686466924712"},"htmlText":"Ya ok","listText":"Ya ok","text":"Ya ok","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":2,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821217265","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6140449,"gmtCreate":1633750976994,"gmtModify":1634717999090,"authorId":3579598681489240,"author":{"id":3579598681489240,"idStr":"3579598681489240","authorId":3579598681489240,"name":"newbe1001","avatar":"https://static.tigerbbs.com/4766ee30ada4a9df74dddcb9ae1d7131","vip":1,"crmLevel":4,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821217265,"type":1,"supId":0,"prevId":0,"content":"ok","text":"ok","html":"ok"}],"langContent":"CN"},{"id":821218706,"gmtCreate":1633746716518,"gmtModify":1633746717387,"author":{"id":"3555043402922696","authorId":"3555043402922696","name":"Never ever f","avatar":"https://static.tigerbbs.com/52501d43721648c944a019db9c767c5d","vip":1,"crmLevel":6,"crmLevelSwitch":0,"authorIdStr":"3555043402922696","idStr":"3555043402922696"},"htmlText":"Gogogo","listText":"Gogogo","text":"Gogogo","images":[],"top":1,"highlighted":1,"essential":1,"paper":1,"likeSize":1,"commentSize":1,"repostSize":0,"link":"https://laohu8.com/post/821218706","repostId":1135231383,"repostType":4,"repost":{"id":"1135231383","kind":"news","pubTimestamp":1633746259,"share":"https://www.laohu8.com/m/news/1135231383?lang=&edition=full","pubTime":"2021-10-09 10:24","market":"us","language":"en","title":"NVIDIA acquires formal verification firm Oski Technology","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":"<ul>\n <li>Visual computing company NVIDIA(NASDAQ:NVDA)has&nbsp;acquired&nbsp;formal verification firm Oski Technology.</li>\n <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>\n <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>\n <li>The Oski&nbsp;acquisition will enable NVIDIA to significantly increase its investment in formal verification strategies to achieve that goal.</li>\n</ul>","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</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: 11px; color: #7E829C; margin: 0;line-height: 11px;}\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\n</h2>\n\n<h4 class=\"meta\">\n\n\n2021-10-09 10:24 GMT+8&nbsp;&nbsp;&nbsp;<a href=https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology><strong>seekingalpha</strong></a>\n\n\n</h4>\n\n</header>\n<article>\n<div>\n<p>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...</p>\n\n<a href=\"https://seekingalpha.com/news/3750986-nvidia-acquires-formal-verification-firm-oski-technology\">Web Link</a>\n\n</div>\n\n\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,"likeStatus":false,"favoriteStatus":false,"reportStatus":false,"tweetType":1,"comments":[{"id":6139688,"gmtCreate":1633747127617,"gmtModify":1634718063970,"authorId":3574686466924712,"author":{"id":3574686466924712,"idStr":"3574686466924712","authorId":3574686466924712,"name":"Ignis","avatar":"https://static.tigerbbs.com/543d1f3e8b4901fba226eb61e5713bc4","vip":1,"crmLevel":3,"crmLevelSwitch":0,"individualDisplayBadges":[]},"repliedAuthorId":0,"objectId":821218706,"type":1,"supId":0,"prevId":0,"content":"hahaha","text":"hahaha","html":"hahaha"}],"langContent":"CN"}],"hasMoreComments":true,"newsSizeData":{"likeSize":159,"commentSize":10,"repostSize":0,"favoriteSize":0,"likeStatus":false,"favoriteStatus":false}}