Performance Benchmarking of TFET and FinFET Digital Circuits from a Synthesis-Based Perspective