Oski Technology (@OskiTech) header
Oski Technology (@OskiTech) profile picture

Oski Technology

@OskiTech

Oski’s unique formal verification services deliver peak sign-off confidence earlier in the semiconductor development cycle.

 San Jose, CA
oskitechnology.com
Joined February 2011
  • Tweets692
  • Following183
  • Followers333
83Media
Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)Photo by Oski Technology (@OskiTech)
Oski Technology retweeted
SemiWiki (@DanielNenni) profile picture
SemiWiki@DanielNenni22 Jun 2018
The #Wolper Method buff.ly/2yuUtvR "If you read around topics in advanced formal #verification you’re likely to run into something called Wolper coloring, or what Vigyan Singhal calls the Wolper method." Read about this on #SemiWiki @OskiTech
Image from SemiWiki (@DanielNenni)
2
3
Oski Technology retweeted
SemiWiki (@DanielNenni) profile picture
SemiWiki@DanielNenni11 May 2018
Formal Signoff – a #Cisco Perspective buff.ly/2wyG8O0 "The second segment of @OskiTech most recent 'Decoding Formal' event was a talk by Anatoli Sokhatski...on training and methodology development for a structured and scalable approach to formal verification..." #SemiWiki
Image from SemiWiki (@DanielNenni)
Image from SemiWiki (@DanielNenni)
2
2
We've had an exciting day at the OCP U.S Summit yesterday. You still have a chance to come check out our live demos and talks today. #BarefootTofino #BarefootDeepInsight #P4Programmable #OCPSONiC goo.gl/BSs26K
Image from Intel Intelligent Fabric (@intelfabric)
3
12
Oski Technology retweeted
SemiWiki (@DanielNenni) profile picture
SemiWiki@DanielNenni21 Mar 2018
#Formal: Going Deep and Going Early buff.ly/2FYgcvB "One technique the @Cadence #JasperGold toolset supports is called cycle-swarm..." Read about it on #SemiWiki!
Image from SemiWiki (@DanielNenni)
Image from SemiWiki (@DanielNenni)
1
1
Oski Technology retweeted
SemiWiki (@DanielNenni) profile picture
SemiWiki@DanielNenni9 Mar 2018
An Advanced-User View of Applied Formal buff.ly/2p0JmTh "Thanks to my growing involvement in formal (at least in writing about it), I was happy to accept an invite to this year’s @OskiTech #DVCon dinner / Formal Leadership Summit." Read about it on #SemiWiki!
Image from SemiWiki (@DanielNenni)
1
2
Oski Technology retweeted
Lori Kate Smith (@lorikate) profile picture
Lori Kate Smith@lorikate1 Mar 2018
#AI and #MachineLearning saving Asthma patients using @amiko_io and @Arm MCUs. Blog community.arm.com/iot/embedd… teapawt.org/simonsegars/status/969…
Simon Segars (@simonsegars) profile pictureSimon Segars@simonsegars1 Mar 2018
Great to see your (literally) lifesaving products on our stand. Keep up the good work! teapawt.org/amiko_io/status/968853…
4
5
Oski Technology retweeted
ESD Alliance (@ESDAlliance) profile picture
ESD Alliance@ESDAlliance20 Oct 2017
Dr. Rob A. Rutenbar was awarded the 2017 Phil Kaufman Award. The Week In Review: Design semiengineering.com/the-week…
2
I will be moderating a panel next month in Milpitas. Hope many of you can attend: esd-alliance.org/wit-and-wis…
2
1
1
Oski Technology retweeted
Dennis Brophy (@dennisbrophy) profile picture
Dennis Brophy@dennisbrophy19 Oct 2017
Courtesy of @accellera you can download IEEE 1800.2-2017 (UVM) standard at no cost. owl.li/uf4v30fZHgH
4
Oski Technology retweeted
Accellera (@accellera) profile picture
Accellera@accellera19 Oct 2017
Early Adopter version of the Portable Stimulus specification is avail for public review through Oct 30; download it ow.ly/bosz30fZAvH
4
4
Oski Technology retweeted
ESD Alliance (@ESDAlliance) profile picture
ESD Alliance@ESDAlliance20 Oct 2017
We'll be at Arm TechCon Booth 628 10/25-26. Learn abt our charter, programs, events, pick up newsletter, giveaways ubm.io/2isdEyH
5
1
Oski Technology retweeted
Arteris (@arteris_noc) profile picture
Arteris@arteris_noc19 Oct 2017
ArterisIP Acquires iNoCs Software and Associated Intellectual Property Rights bit.ly/2hPH0Dc
2
Hyper Reality at ESC Silicon Valley 2017 ubm.io/2yzzExs @ESC_Conf #ESCSV @eetimes @embedded_com @EE_Web
Image from Clive (Max) Maxfield (@MaxMaxfield)
1
1
We would like to thank all attendees for an awesome @DVConEurope 2017 – We see you next year! #DVConEurope #DVCon #semiEDA
Image from OneSpin: A Siemens Business (@OneSpinSolution)
Image from OneSpin: A Siemens Business (@OneSpinSolution)
Image from OneSpin: A Siemens Business (@OneSpinSolution)
Image from OneSpin: A Siemens Business (@OneSpinSolution)
4
1
Oski Technology retweeted
ESD Alliance (@ESDAlliance) profile picture
ESD Alliance@ESDAlliance17 Oct 2017
REMINDER: ESD Alliance, San Jose State University to Host Second Evening in Series on Cognitive Era October 18 marketwired.com/press-releas…
1
1
Oski Technology retweeted
ESD Alliance (@ESDAlliance) profile picture
ESD Alliance@ESDAlliance17 Oct 2017
MEDIA ALERT: ESD Alliance to Exhibit at Arm TechCon, Showcasing its Charter, Programs, Ongoing Events marketwired.com/press-releas…
3
Oski Technology retweeted
DVCon Europe (@DVConEurope) profile picture
DVCon Europe@DVConEurope18 Oct 2017
Thank you to our attendees, our exhibitors, and our sponsors for another successful DVCon Europe! See you in 2018!
8
5
Oski Technology retweeted
Arteris (@arteris_noc) profile picture
Arteris@arteris_noc17 Oct 2017
New Interconnect IP Supports Machine Learning in Autonomous Cars ubm.io/2ytuDpS
2
After a (mostly) uneventful test flight, we can assure you that these #drones would be fun to take home! Enter to win at our booth!
1
2
#ISO26262 for automotive: If you're not using formal, your design may not have the integrity it needs. Learn more: bit.ly/2ksxCKC

Formal for Safety-Critical Designs

Our McKenzie Ross, recently got behind the wheel of a Tesla Model X to discuss using formal to verify safety-critical designs that must be ISO 26262-compliant.

6
2
6
Load more