Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Yanling Weng"'
Publikováno v:
Journal of Industrial and Engineering Chemistry. 20:3446-3452
It is necessary to remove Fe 3+ from the hydrochloric acid route phosphoric acid before it is purified by tri- n -butyl phosphate (TBP), otherwise the final product will fail because of the excessive iron content. Di-(2-ethylhexyl) phosphoric acid (D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a69ffee0d25bbdc23f49b217b697df3
https://doi.org/10.1016/j.jiec.2013.12.033
https://doi.org/10.1016/j.jiec.2013.12.033
Publikováno v:
Tsinghua Science and Technology. 12:235-239
An information extraction-based technique is proposed for RTL-to-gate equivalence checking. Distances are calculated on directed acyclic graph (AIG). Multiplier and multiplicand are distinguished on multiplications with different coding methods, with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2121dfcc71bdd9be903ac278439f4a50
https://doi.org/10.1016/s1007-0214(07)70116-5
https://doi.org/10.1016/s1007-0214(07)70116-5
Publikováno v:
2007 7th International Conference on ASIC.
This paper presents a sequential equivalence checking (SEC) framework based upon Boolean satisfiability (SAT) related engines such as sequential SAT and invariant checking. By detecting invariants in the miter circuits, the search space can be dramat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0102e2f9651b0a19f9786faa88172937
https://doi.org/10.1109/icasic.2007.4415843
https://doi.org/10.1109/icasic.2007.4415843
Publikováno v:
Journal of Industrial & Engineering Chemistry; Sep2014, Vol. 20 Issue 5, p3446-3452, 7p