Concepedia

Antonio Anastasio Bruto da Costa

AA

Statistics

Publications

3

Citations

48

H-Index

3

Active since

2014

Affiliations

Indian Institute of Technology Kharagpur(Current)

Antonio Anastasio Bruto da Costa is an author at Indian Institute of Technology Kharagpur specializing in formal verification, computer engineering, and formal methods.

ORCID

Top concepts

Publications per year

2014–2023

3

Publications

3

Feature Indented Assertions for Analog and Mixed-Signal Validation

Antara Ain, Antonio Anastasio Bruto da Costa, Pallab Dasgupta · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2016 · 22 citations

, , +23

Domain Knowledge Distillation from Large Language Model: An Empirical Study in the Autonomous Driving Domain

Yun Tang, Antonio Anastasio Bruto da Costa, Xizhe Zhang et al. · 2023 · 16 citations · Full text

Formal Interpretation of Assertion Based Features on AMS Designs

Antonio Anastasio Bruto da Costa, Pallab Dasgupta · IEEE Design and Test · 2014 · 10 citations

, , +20

1–3 of 3