For a Japanese semiconductor manufacturer we implemented and verified two modules for a graphic-controller.
The circuit design was executed in VERILOG, the verification primarily in SpecMan 'e'. The controller is manufactured in 90 nm CMOS-technology.
It is use in dashboards of premium cars, e.g. in products of BMW. The controller enables to establish very detailed pictures of driving conditions on a LCD display.