Вообще-то есть разные реализации, которые выбираются при определении компромисса между площадью, частотой, количеством тактов на вычисление, потреблением, сложностью реализации и верификации и т.д.
Ну получится какое-то выражение. Я делал fixed point LUT для цифрового вычислительного синтезатора, оттуда можно извлечь конкретное логическое выражение для каждого бита выхода.
Look-up tables (перекодировочные таблицы) как раз тем и отличаются, что для их реализации не нужен какой-то алгоритм.
Если интересен какой-то алгоритм и то, как его можно сделать в "железе", можно в сторону CORDIC посмотреть.
Одна лицензия на Cadence Xcelium стоит десятки тысяч долларов в год. Образовательные инициативы недоступны, т.к. представительство Cadence в России закрылось больше года назад, теперь тулы и саппорт напрямую не достать, только через третьи страны (или по ещё действующим контрактам).
Можно пиратить, но это статья УК. Подставляться под это довольно тупо.
Аппроксимация появляется, когда бесконечный ряд Тейлора (на самом деле Маклорена) заменяется на конечный.
Вообще-то есть разные реализации, которые выбираются при определении компромисса между площадью, частотой, количеством тактов на вычисление, потреблением, сложностью реализации и верификации и т.д.
А смысл?
Ну получится какое-то выражение. Я делал fixed point LUT для цифрового вычислительного синтезатора, оттуда можно извлечь конкретное логическое выражение для каждого бита выхода.
Look-up tables (перекодировочные таблицы) как раз тем и отличаются, что для их реализации не нужен какой-то алгоритм.
Если интересен какой-то алгоритм и то, как его можно сделать в "железе", можно в сторону CORDIC посмотреть.
Одна лицензия на Cadence Xcelium стоит десятки тысяч долларов в год. Образовательные инициативы недоступны, т.к. представительство Cadence в России закрылось больше года назад, теперь тулы и саппорт напрямую не достать, только через третьи страны (или по ещё действующим контрактам).
Можно пиратить, но это статья УК. Подставляться под это довольно тупо.