In joint research with the University of Tokyo (UTokyo), the National Institute of Advanced Industrial Science and Technology ...

We demonstrate directional vehicular traffic using a two-dimensional honeycomb-shaped topological structure. We consider a hexagonal street network modeled with vertices and edges, and numerically ...

According to statistics the verification of digital integrated circuits (IC) claims up to 70 % of the design time and effort in the design process. This means that the verification process must be ...