Formal verification for safety and security critical software. Check out our new Electronic Design Weekly – collecting all the latest and greatest on the site and beyond. VPX Boards for avionics and defense. AI at the edge needs flexibility. Best practices for clock domain crossing and synchronizers. The latest cartoon posts early this week. AI on a Z80? What is TensorFlow?