| 11163919 |
Method and system for component-based design of physical systems |
Ion Matei, Maksym Zhenirovskyy, Aleksandar B. Feldman |
2021-11-02 |
| 11157672 |
System and method for determining hybrid-manufacturing process plans for integrated circuits based on satisfiability modulo difference logic solver |
Aleksandar B. Feldman, Morad Behandish, Ion Matei, Saigopal Nelaturi |
2021-10-26 |
| 11137318 |
Model-based diagnosis in frequency domain |
Ion Matei, Aleksandar B. Feldman |
2021-10-05 |
| 11043951 |
Analog computer architecture for fast function optimization |
Ion Matei, Aleksandar B. Feldman |
2021-06-22 |
| 11010520 |
System and method for circuit synthesis using partial boolean quantification |
Alexandre Campos Perez, Aleksandar B. Feldman |
2021-05-18 |
| 11003823 |
Re-design of analog circuits |
Ion Matei, Alexander Feldman |
2021-05-11 |
| 10977110 |
System and method for facilitating prediction data for device based on synthetic data with uncertainties |
Ion Matei, Rajinderjeet Singh Minhas, Anurag Ganguli |
2021-04-13 |
| 10915684 |
Automatic redesign of digital circuits |
Alexander Feldman, Ion Matei |
2021-02-09 |