Formal verification for alexforencich/verilog-axi using SymbiYosys
Explore Similar Repositories
NonGaussianSurfaces:In this project we simulate Gaussian and non-Gaussian surfaces with the method that was proposed in the paper Numerical Simulation of 3D Rough Surfaces and Analysis of Interfacial Contact Characteristics, by Guoqing Yang, Baotong Li, Yang Wang and Jun Hong.
