Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Cisco Systems Inc.

---

Listing of all the works of the organization. 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
		Tatarnikov Y.A. Using Formal Coverage Analyzer for Code Coverage Improvement
2020
		Sokhatski A.A. Use of Formal Methods to Resolve Actual Problems of ASIC Design Verification