Researchers from University of Bremen have released “Linear Formal Verification of Sequential Circuits using Weighted-AIGs”. Abstract “Ensuring the functional correctness of a digital system is ...
This application note lists a number of application circuits for Intersil’s digitally-controlled (XDCP) potentiometers. The application circuits illustrate the wide variety of possible functions which ...