Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Sokhatski A.A.

Cisco Systems Inc.

Listing of all the works of the author. Click on the work title to get the full information.

2016
		Sokhatski A.A. Practical Aspects of Design Verification of Complex Chips
2018
		Sokhatski A.A. Practical Aspects of Formal Verification of Networking Chips
2020
		Sokhatski A.A. Use of Formal Methods to Resolve Actual Problems of ASIC Design Verification