Post-processing with advanced symbolic simulation and design using SchematicSolver and mathematica | IEEE Conference Publication | IEEE Xplore