中文 English

Week In Review: Manufacturing, Test


Government policy For the last four years, the U.S. and China have been embroiled in a trade war, especially on the technology front. The U.S. has implemented a number of export control measures and tariffs in the arena. But there might be a thawing in the tense relationship between the two superpowers. “Reports surfaced Thursday indicating the China Semiconductor Industry Association (CSIA)... » read more

Fibonacci And Honey Bees Have Something In Common: A Sweet Spot For Formal


Time flies and the OneSpin’s Holiday Puzzle tradition has reached its third year. In December 2016, OneSpin challenged engineers everywhere to solve the Einstein riddle using assertions and a formal verification tool. In December 2017, the challenge was to model the hardest Sudoku in the world using assertions and find a solution with a formal tool. In addition, participants had to prove that... » read more