www.mentor.com Open in urlscan Pro
143.204.101.50 Public Scan

Go To Rescan
Add Verdict Report

Submitted URL:
http://lyris.mentor-info.com/t/398045/25693722/125178/42394/?4f415564=mju2otm3mji
Effective URL:
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equival...
Submission: On January 14 via api (January 14th 2020, 2:20:06 pm UTC) from NL

Summary HTTP 48 Redirects Links 7 Behaviour Indicators

Summary

This website contacted 18 IPs in 6 countries across 18 domains to perform 48 HTTP transactions. The main IP is 143.204.101.50, located in Seattle, United States and belongs to AMAZON-02 - Amazon.com, Inc., US. The main domain is www.mentor.com.
TLS certificate: Issued by Amazon on December 19th 2019. Valid for: a year.

This is the only time www.mentor.com was scanned on urlscan.io!

urlscan.io Verdict: No classification

Domain & IP information

	IP Address	AS Autonomous System
1 1	192.94.39.222 192.94.39.222	13541 (MENTORGRA...) (MENTORGRAPHICS - Mentor Graphics Corporation)
1 2	143.204.101.50 143.204.101.50	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 1	34.232.24.156 34.232.24.156	14618 (AMAZON-AES) (AMAZON-AES - Amazon.com)
13	68.232.35.117 68.232.35.117	15133 (EDGECAST) (EDGECAST - MCI Communications Services)
1	2600:9000:215... 2600:9000:2156:4600:1:a3fa:7cc0:93a1	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1	13.224.199.253 13.224.199.253	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
6	52.216.102.141 52.216.102.141	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
4	2a04:4e42:1b:... 2a04:4e42:1b::720	54113 (FASTLY) (FASTLY - Fastly)
2	23.210.248.44 23.210.248.44	16625 (AKAMAI-AS) (AKAMAI-AS - Akamai Technologies)
1	2a00:1450:400... 2a00:1450:4001:81a::2008	15169 (GOOGLE) (GOOGLE - Google LLC)
1	172.217.18.2 172.217.18.2	15169 (GOOGLE) (GOOGLE - Google LLC)
4	2a00:1450:400... 2a00:1450:4001:80b::2002	15169 (GOOGLE) (GOOGLE - Google LLC)
1 5	2a00:1450:400... 2a00:1450:4001:81e::2004	15169 (GOOGLE) (GOOGLE - Google LLC)
5	2a00:1450:400... 2a00:1450:4001:825::2003	15169 (GOOGLE) (GOOGLE - Google LLC)
1	23.210.250.213 23.210.250.213	16625 (AKAMAI-AS) (AKAMAI-AS - Akamai Technologies)
1	15.188.31.119 15.188.31.119	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 2	2a00:1450:400... 2a00:1450:4001:816::200e	15169 (GOOGLE) (GOOGLE - Google LLC)
1	13.224.196.80 13.224.196.80	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
1 1	2a00:1450:400... 2a00:1450:400c:c0c::9d	15169 (GOOGLE) (GOOGLE - Google LLC)
1	13.224.196.39 13.224.196.39	16509 (AMAZON-02) (AMAZON-02 - Amazon.com)
48	18

1 192.94.39.222 (United States) 1 redirects

ASN13541 (MENTORGRAPHICS - Mentor Graphics Corporation, US)
PTR: pvip22.mentorg.com

lyris.mentor-info.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 143.204.101.50 (Seattle, United States) 1 redirects

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-143-204-101-50.fra50.r.cloudfront.net

www.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 34.232.24.156 (Ashburn, United States) 1 redirects

ASN14618 (AMAZON-AES - Amazon.com, Inc., US)
PTR: ec2-34-232-24-156.compute-1.amazonaws.com

accounts.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

13 68.232.35.117 (United States)

ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US)

static.mentor-cdn.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools
images.mentor-cdn.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2600:9000:2156:4600:1:a3fa:7cc0:93a1 (United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)

content.jwplatform.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 13.224.199.253 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-13-224-199-253.fra2.r.cloudfront.net

cdn.auth0.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

6 52.216.102.141 (Ashburn, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: s3-1.amazonaws.com

s3.amazonaws.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

4 2a04:4e42:1b::720 (Ascension Island)

ASN54113 (FASTLY - Fastly, US)

mgc-images.imgix.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 23.210.248.44 (Netherlands)

ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US)
PTR: a23-210-248-44.deploy.static.akamaitechnologies.com

s7.addthis.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools
v1.addthisedge.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2a00:1450:4001:81a::2008 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE - Google LLC, US)

www.googletagmanager.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 172.217.18.2 (United States)

ASN15169 (GOOGLE - Google LLC, US)
PTR: fra15s28-in-f2.1e100.net

www.googleadservices.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

4 2a00:1450:4001:80b::2002 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE - Google LLC, US)

googleads.g.doubleclick.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

5 2a00:1450:4001:81e::2004 (Frankfurt am Main, Germany) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

www.google.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

5 2a00:1450:4001:825::2003 (Frankfurt am Main, Germany)

ASN15169 (GOOGLE - Google LLC, US)

www.google.de	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 23.210.250.213 (Netherlands)

ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US)
PTR: a23-210-250-213.deploy.static.akamaitechnologies.com

z.moatads.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 15.188.31.119 (Paris, France)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: ec2-15-188-31-119.eu-west-3.compute.amazonaws.com

strack.mentor.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

2 2a00:1450:4001:816::200e (Frankfurt am Main, Germany) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

www.google-analytics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 13.224.196.80 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-13-224-196-80.fra2.r.cloudfront.net

d31qbv1cthcecs.cloudfront.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 2a00:1450:400c:c0c::9d (Brussels, Belgium) 1 redirects

ASN15169 (GOOGLE - Google LLC, US)

stats.g.doubleclick.net	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

1 13.224.196.39 (Seattle, United States)

ASN16509 (AMAZON-02 - Amazon.com, Inc., US)
PTR: server-13-224-196-39.fra2.r.cloudfront.net

certify.alexametrics.com	Domain lookup VirusTotal SecurityTrails crt.sh Censys Domaintools

	Apex Domain Subdomains	Transfer
13	mentor-cdn.com static.mentor-cdn.com images.mentor-cdn.com	544 KB
6	amazonaws.com s3.amazonaws.com	17 KB
5	google.de www.google.de	549 B
5	google.com 1 redirects www.google.com	643 B
5	doubleclick.net 1 redirects googleads.g.doubleclick.net stats.g.doubleclick.net	6 KB
4	imgix.net mgc-images.imgix.net	423 KB
4	mentor.com 2 redirects www.mentor.com accounts.mentor.com strack.mentor.com	14 KB
2	google-analytics.com 1 redirects www.google-analytics.com	18 KB
1	alexametrics.com certify.alexametrics.com	550 B
1	addthisedge.com v1.addthisedge.com	223 B
1	cloudfront.net d31qbv1cthcecs.cloudfront.net	2 KB
1	moatads.com z.moatads.com	1 KB
1	googleadservices.com www.googleadservices.com	10 KB
1	googletagmanager.com www.googletagmanager.com	21 KB
1	addthis.com s7.addthis.com	113 KB
1	auth0.com cdn.auth0.com	33 KB
1	jwplatform.com content.jwplatform.com	50 KB
1	mentor-info.com 1 redirects lyris.mentor-info.com	2 KB
48	18

	Domain	Requested by
12	static.mentor-cdn.com	www.mentor.com static.mentor-cdn.com
6	s3.amazonaws.com	www.mentor.com static.mentor-cdn.com
5	www.google.de	www.mentor.com
5	www.google.com	1 redirects www.mentor.com
4	googleads.g.doubleclick.net	www.googleadservices.com
4	mgc-images.imgix.net	www.mentor.com
2	www.google-analytics.com	1 redirects www.mentor.com
2	www.mentor.com	1 redirects
1	certify.alexametrics.com	www.mentor.com
1	stats.g.doubleclick.net	1 redirects
1	v1.addthisedge.com	s7.addthis.com
1	d31qbv1cthcecs.cloudfront.net	www.mentor.com
1	strack.mentor.com	www.mentor.com
1	z.moatads.com	s7.addthis.com
1	www.googleadservices.com	www.googletagmanager.com
1	images.mentor-cdn.com	www.mentor.com
1	www.googletagmanager.com	www.mentor.com
1	s7.addthis.com	www.mentor.com
1	cdn.auth0.com	www.mentor.com
1	content.jwplatform.com	www.mentor.com
1	accounts.mentor.com	1 redirects
1	lyris.mentor-info.com	1 redirects
48	22

This site contains links to these domains. Also see Links.

Domain
mentor.com
addthis.com
www.linkedin.com
twitter.com
www.facebook.com
www.youtube.com
plus.google.com

Subject Issuer	Validity	Valid
mentor.com Amazon	`2019-12-19` - `2021-01-19`	a year	crt.sh
static.mentor-cdn.com DigiCert SHA2 Extended Validation Server CA	`2019-11-05` - `2021-11-12`	2 years	crt.sh
jwplayer.com Amazon	`2019-03-28` - `2020-04-28`	a year	crt.sh
*.auth0.com Amazon	`2019-06-21` - `2020-07-21`	a year	crt.sh
s3.amazonaws.com DigiCert Baltimore CA-2 G2	`2019-11-09` - `2020-12-02`	a year	crt.sh
imgix.map.fastly.net GlobalSign CloudSSL CA - SHA256 - G3	`2019-08-20` - `2020-08-20`	a year	crt.sh
odc-prod-01.oracle.com DigiCert SHA2 Secure Server CA	`2019-10-10` - `2020-09-04`	a year	crt.sh
*.google-analytics.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.googleadservices.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
*.g.doubleclick.net GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.google.com GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
www.google.de GTS CA 1O1	`2019-12-10` - `2020-03-03`	3 months	crt.sh
moatads.com DigiCert ECC Secure Server CA	`2018-11-10` - `2020-02-09`	a year	crt.sh
strack.mentor.com DigiCert SHA2 High Assurance Server CA	`2019-02-12` - `2020-05-15`	a year	crt.sh
*.cloudfront.net DigiCert Global CA G2	`2019-07-17` - `2020-07-05`	a year	crt.sh
certify.alexametrics.com Amazon	`2019-07-26` - `2020-08-26`	a year	crt.sh

This page contains 1 frames:

Primary Page: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Frame ID: 3E4508C758B50AF433F254E4BACDE59E
Requests: 49 HTTP requests in this frame

Screenshot
Live screenshot

Full Image

Page URL History Show full URLs

http://lyris.mentor-info.com/t/398045/25693722/125178/42394/?4f415564=mju2otm3mji HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-... HTTP 302
https://accounts.mentor.com/accounts/?do=signinById&mid=25693722&returnUrl=https%3A%2F%2Fwww%2Ementor%2E... HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-... Page URL

Detected technologies

Amazon Web Services (PaaS) Expand

Overall confidence: 100%
Detected patterns

headers via /$CloudFront$$/i

Amazon Cloudfront (CDN) Expand

Overall confidence: 100%
Detected patterns

headers via /$CloudFront$$/i

Google Analytics (Analytics) Expand

Overall confidence: 100%
Detected patterns

script /google-analytics\.com\/(?:ga|urchin|analytics)\.js/i

jQuery (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

script /\/([\d.]+)\/jquery(?:\.min)?\.js/i
script /jquery.*\.js(?:\?ver(?:sion)?=([\d.]+))?/i
script /jquery[.-]migrate(?:-([\d.]+))?(?:\.min)?\.js(?:\?ver=([\d.]+))?/i

jQuery Migrate (JavaScript Libraries) Expand

Overall confidence: 100%
Detected patterns

script /jquery[.-]migrate(?:-([\d.]+))?(?:\.min)?\.js(?:\?ver=([\d.]+))?/i

Page Statistics

48
Requests

100 %
HTTPS

40 %
IPv6

18
Domains

22
Subdomains

18
IPs

6
Countries

1250 kB
Transfer

3397 kB
Size

12
Cookies

7 Outgoing links

These are links going to different origins than the main page.

URL: https://mentor.com/
Title: Mentor, A Siemens Business

Search URL Search Domain Scan URL

URL: http://addthis.com/bookmark.php?v=250&username=mentorwst
Title: Share This Resource

Search URL Search Domain Scan URL

URL: http://www.linkedin.com/company/mentor_graphics

Search URL Search Domain Scan URL

URL: https://twitter.com/mentor_graphics

Search URL Search Domain Scan URL

URL: https://www.facebook.com/pages/Mentor-Graphics/362609027104610

Search URL Search Domain Scan URL

URL: http://www.youtube.com/channel/UC6glMEaanKWD86NEjwbtgfg

Search URL Search Domain Scan URL

URL: https://plus.google.com/b/102197424811444669688/102197424811444669688/posts

Search URL Search Domain Scan URL

Page URL History

This captures the URL locations of the websites, including HTTP redirects and client-side redirects via JavaScript or Meta fields.

http://lyris.mentor-info.com/t/398045/25693722/125178/42394/?4f415564=mju2otm3mji HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&mid=25693722&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp HTTP 302
https://accounts.mentor.com/accounts/?do=signinById&mid=25693722&returnUrl=https%3A%2F%2Fwww%2Ementor%2Ecom%2Fhls%2Dlp%2Fresources%2Foverview%2Frenesas%2Dsolves%2Dhigh%2Dlevel%2Dverification%2Dchallenges%2Dusing%2Dformal%2Dequivalence%2Dchecking%2D75c692df%2Db103%2D42c3%2Da5d8%2D5b5f9e6b0f94%3Fuuid%3D75c692df%2Db103%2D42c3%2Da5d8%2D5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020%5F01%5F14%5Fhls%5Frenesas%5Ffomal%5Fchecking%5Fwp HTTP 302
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp Page URL

Redirected requests

There were HTTP redirect chains for the following requests:

Request Chain 46

https://www.google-analytics.com/r/collect?v=1&_v=j79&a=863967412&t=pageview&_s=1&dl=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&ul=en-us&de=UTF-8&dt=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&sd=24-bit&sr=1600x1200&vp=1585x1200&je=0&_u=YEBAAAAB~&jid=1501670634&gjid=1448728441&cid=1920677548.1579011610&tid=UA-7441435-1&_gid=453593606.1579011610&_r=1&cd2=Ad%20hoc&cd1=Technical_Publication&z=1189920815 HTTP 302
https://stats.g.doubleclick.net/r/collect?v=1&aip=1&t=dc&_r=3&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_gid=453593606.1579011610&gjid=1448728441&_v=j79&z=1189920815 HTTP 302
https://www.google.com/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815 HTTP 302
https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815&slf_rd=1&random=2359853802

48 HTTP transactions
1 data transactions

Method
Protocol Status Resource
Path Size
x-fer Time
Latency Type
MIME-Type IP
Location

GET
H/1.1

200
OK

Primary Request

Cookie set renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94 Show response
www.mentor.com/hls-lp/resources/overview/
Redirect Chain

http://lyris.mentor-info.com/t/398045/25693722/125178/42394/?4f415564=mju2otm3mji
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&mid=25693722&PC=L&c=2...
https://accounts.mentor.com/accounts/?do=signinById&mid=25693722&returnUrl=https%3A%2F%2Fwww%2Ementor%2Ecom%2Fhls%2Dlp%2Fresources%2Foverview%2Frenesas%2Dsolves%2Dhigh%2Dlevel%2Dverification%2Dchal...
https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d...

31 KB
11 KB

862ms
861ms

Document
text/html

143.204.101.50
Amazon.com

General

Check archive.org

Download Go to

Full URL

https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp

Protocol

HTTP/1.1

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

143.204.101.50 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),

Reverse DNS

server-143-204-101-50.fra50.r.cloudfront.net

Software

Resource Hash

53099d37a1a4a53ad5a76e2c5e32f43e5150aa06490822a70f1dc60eec97ecd0

Security Headers

Name	Value
Strict-Transport-Security	max-age=15552000; includeSubdomains;
X-Content-Type-Options	nosniff
X-Frame-Options	SAMEORIGIN
X-Xss-Protection	1; mode=block

Request headers

Host: www.mentor.com
Connection: keep-alive
Pragma: no-cache
Cache-Control: no-cache
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Accept: text/html,application/xhtml+xml,application/xml;q=0.9,image/webp,image/apng,*/*;q=0.8,application/signed-exchange;v=b3
Sec-Fetch-Site: none
Sec-Fetch-Mode: navigate
Accept-Encoding: gzip, deflate, br
Cookie: JSESSIONID=CAC013A26A928E1D5508A59B8E6C77D0.www4; MID=9491772%3A2%3A1579011548%3A1bf3a357d1efa9bff396df2709cf46a6; SESSIONTYPE=adhoc
Upgrade-Insecure-Requests: 1
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Content-Type: text/html;charset=UTF-8
Transfer-Encoding: chunked
Connection: keep-alive
Date: Tue, 14 Jan 2020 14:20:08 GMT
X-Frame-Options: SAMEORIGIN
P3P: CP="CAO PSA OUR"
X-WST-Content-Cache-Elapsed: 439 ms
X-WST-Content-Not-Cached-Reason: cache-miss: Cache busting enabled.
X-WST-Content-Cache-Key: /hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?clp=1&uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94
X-WST-Content-Cached: false
X-WST-Process-SSI: 14 ms (count: 10)
X-WST-Request-Elapsed: 550 ms
Content-Language: en-US
Set-Cookie: JSESSIONID=94461B9667834936784E0BD40CAF1CE3.www2; Path=/; Secure; HttpOnly s_MID=1579011608413%3A782CB11BB02A6B0FCDACC4F4E26A0B74; path=/; HttpOnly; MGC_CMP=%7B%22PC%22%3A%22L%22%2C%22c%22%3A%222020%5F01%5F14%5Fhls%5Frenesas%5Ffomal%5Fchecking%5Fwp%22%7D; expires=Wed, 15-Jan-2020 14:20:08 GMT; domain=mentor.com; path=/; HttpOnly; secure OVISITOR_ID=1579011608946522420AA662D97F39378820F0C4CD99F09AC55B58E9B0BB8FECF94FBAC6B74CA;Path=/;Domain=.mentor.com;Expires=Wed, 12-Jan-2050 22:11:38 GMT;Secure;HTTPOnly
Vary: Accept-Encoding,User-Agent
Content-Encoding: gzip
X-Content-Type-Options: nosniff
X-XSS-Protection: 1; mode=block
Strict-Transport-Security: max-age=15552000; includeSubdomains;
Cache-Control: no-store
Content-Security-Policy-Report-Only: default-src 'none'; connect-src https:; font-src https: data:; frame-src https://diswlogin.siemens.com https://*.sw.siemens.com https://www.youtube.com https://*.google.com https://www.youtube.com https://video.mentor.com https://*.mentor.com https://*.ias.plm.automation.siemens.com https://www.pads.com https://*.auth0.com https://*.addthis.com https://www.linkedin.com https://*.g.doubleclick.net; img-src https: data:; media-src https://videos.mentor-cdn.com; script-src 'unsafe-inline' 'unsafe-eval' https:; style-src 'unsafe-inline' https:; manifest-src 'self'; report-uri https://csp.mentor-apis.com/Prod/report
X-Cache: Miss from cloudfront
Via: 1.1 58bcd6f2e1bc29fb83f080f1743cfeca.cloudfront.net (CloudFront)
X-Amz-Cf-Pop: FRA50-C1
X-Amz-Cf-Id: UNuJseflhnxittLAWp4c9t8GxW2nHOxAkhcZfR656P19MNRb85T2Hw==

Redirect headers

status: 302
date: Tue, 14 Jan 2020 14:20:08 GMT
content-type: text/html;charset=UTF-8
content-length: 399
location: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
server: Apache
set-cookie: cfid=9b7903f3-196c-46a9-97f9-8d66caf52449;Path=/;Expires=Wed, 12-Jan-2050 22:11:38 GMT;HTTPOnly cftoken=0;Path=/;Expires=Wed, 12-Jan-2050 22:11:38 GMT;HTTPOnly MID=9491772%3A2%3A1579011548%3A1bf3a357d1efa9bff396df2709cf46a6;Path=/;Domain=.mentor.com;Expires=Tue, 11-Feb-2020 14:20:08 GMT SESSIONTYPE=adhoc;Path=/;Domain=.mentor.com
p3p: CP="CAO PSA OUR"
x-content-type-options: nosniff
x-xss-protection: 1; mode=block
strict-transport-security: max-age=15552000; includeSubdomains;
x-frame-options: SAMEORIGIN
cache-control: no-store
content-security-policy-report-only: default-src 'none'; connect-src https:; font-src https: data:; frame-src https:; img-src https: data: 'self'; script-src 'unsafe-inline' https:; style-src 'unsafe-inline' https:; report-uri https://csp.mentor-apis.com/Prod/report

GET
H2 200 mgc_agg.css
static.mentor-cdn.com/css/mgc/generated/prod/v259/ 359 KB
59 KB 101ms
22ms Stylesheet
text/css 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/css/mgc/generated/prod/v259/mgc_agg.css
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D34) /
Resource Hash: 5bd02d05c9b4772b65341e7609810a670d6fad2c1aa6a869b4ca52e64029a4e3

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Tue, 03 Sep 2019 16:30:44 GMT
server: ECS (lcy/1D34)
x-amz-request-id: 4140B71964331D29
etag: "55e7b98a419399a2e95fe164bfd58804+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/css
status: 200
cache-control: max-age=31556926
content-length: 60284
x-amz-id-2: oFO9k+CEcpU5QGsUBCLxh6yzokXlvpnPTfuwu6nPajfAkQy61uF67CioNxjYcqUnb5/tN+IGSF8=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 jquery.min.js Show response
static.mentor-cdn.com/common/lib/jquery/1.12.4/ 95 KB
33 KB 141ms
62ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jquery/1.12.4/jquery.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D39) /
Resource Hash: 668b046d12db350ccba6728890476b3efee53b2f42dbb84743e5e9f1ae0cc404

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Wed, 14 Nov 2018 22:50:33 GMT
server: ECS (lcy/1D39)
x-amz-request-id: 069717F6B51A7BBE
etag: "4f252523d4af0b478c810c2547a63e19+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 33793
x-amz-id-2: Sm3uzEL7QU7T+UHcY0zt0Snkp/Hts3fODI75y0FJgDzbnU8gSop5+D/69+/1WYXd3okfu55ynIk=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 jquery-migrate-1.4.1.min.js Show response
static.mentor-cdn.com/common/lib/jquery/ 10 KB
4 KB 176ms
96ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jquery/jquery-migrate-1.4.1.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D3F) /
Resource Hash: 48eb8b500ae6a38617b5738d2b3faec481922a7782246e31d2755c034a45cd5d

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Mon, 26 Nov 2018 22:21:04 GMT
server: ECS (lcy/1D3F)
x-amz-request-id: 8DAED3397F69F6C3
etag: "7121994eec5320fbe6586463bf9651c2+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 4014
x-amz-id-2: 8lQj9HEhKkYS5r4nyIu756lh1jMYH+uW+RztmHz9TWaaeWXLTSfN1YLPXmAcIRfkchK8x1MLhHM=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 raven.min.js Show response
static.mentor-cdn.com/common/lib/raven-js/1.2.0/ 15 KB
6 KB 150ms
71ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/raven-js/1.2.0/raven.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D4E) /
Resource Hash: aeb6ff8462f652f3f08f367249c3ef67eee144941344608e7fe010397c60d0c8

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Mon, 05 Dec 2016 22:37:39 GMT
server: ECS (lcy/1D4E)
x-amz-request-id: 4AC0336FEC8912C9
etag: "4245757edcebe30e436c6610b9db0e50+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 6444
x-amz-id-2: HSG9zMGt8B8+AmWKeJ3NJpg5zxrugcJsmpFxJqvw0yK3tylYqYx/y9NVNUJ6uyG8L6EKG6dajLg=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 jwplayer.js Show response
static.mentor-cdn.com/common/jwplayer/6.10.4906/ 65 KB
23 KB 151ms
72ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/jwplayer/6.10.4906/jwplayer.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D46) /
Resource Hash: 5e85f43abc192fe9991e320aebf5fb5d346d62abba3cf1b50072286d0de7f5a3

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Mon, 05 Dec 2016 20:56:14 GMT
server: ECS (lcy/1D46)
x-amz-request-id: 2BB949DED67DF8E4
etag: "26d71124820c624c479011bf79c5e24a+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 23493
x-amz-id-2: AyzIKOIMr0gA/D3jJcd6/t49s3gtKNU6UzCFDXwW70TD6GJN5GiZalnwtu+xM5kCE6wlB6q1HMw=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 jGDqTDi3.js Show response
content.jwplatform.com/libraries/ 161 KB
50 KB 23ms
7ms Script
text/javascript 2600:9000:2156:4600:1:a3fa:7cc0:93a1
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://content.jwplatform.com/libraries/jGDqTDi3.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 2600:9000:2156:4600:1:a3fa:7cc0:93a1 , United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS
Software: openresty /
Resource Hash: a95dfa0cf5042773383b92f5a45bf5294bfc88fe7907929529e33e6640386647

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:18:48 GMT
content-encoding: gzip
server: openresty
age: 81
x-cache: Hit from cloudfront
content-type: text/javascript; charset=utf-8
status: 200
cache-control: max-age=150, max-stale=180
x-amz-cf-pop: FRA50-C1
access-control-allow-origin: *
content-length: 50330
via: 1.1 ba77f90aac0ddbc2c4c2c02062fac762.cloudfront.net (CloudFront)
x-amz-cf-id: Zf5xJDI5jO0p2y556tsIBsgDU6pqLTjHpLmYD9k33hNxttUEsE58Rg==
expires: Tue, 14 Jan 2020 14:21:18 GMT

GET
H2 200 sha256.js Show response
static.mentor-cdn.com/common/lib/sha256/ 7 KB
3 KB 158ms
79ms Script
application/x-javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/sha256/sha256.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D31) /
Resource Hash: 471d4f73840828803fc2e0100739b5f47c3e6921aa0753548d87410f0ebc8dfa

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-meta-cb-modifiedtime: Tue, 02 Oct 2018 20:56:52 GMT
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Tue, 02 Oct 2018 20:57:47 GMT
server: ECS (lcy/1D31)
x-amz-request-id: 4070C87F36A41AAC
etag: "8514ffabe47b1cd49b369ed803dcb6de+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/x-javascript
status: 200
cache-control: max-age=31556926
content-length: 2768
x-amz-id-2: 7jnww03ksFMAS3AI1ZL8d6fPP/xutvSMbgnMUWKjYjn01N+IqgGggs5XgQ5dUCAgdLuCzVjKJng=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 jsrsasign-all-min.js Show response
static.mentor-cdn.com/common/lib/jsrsasign/ 253 KB
70 KB 157ms
78ms Script
application/x-javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/lib/jsrsasign/jsrsasign-all-min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D45) /
Resource Hash: 44b82208e053cd6632cff163df087dad20b496b26d781007c071f4ade41407c8

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-meta-cb-modifiedtime: Tue, 02 Oct 2018 16:56:30 GMT
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Tue, 02 Oct 2018 17:25:39 GMT
server: ECS (lcy/1D45)
x-amz-request-id: 228AA77DBB121D91
etag: "39e91c0fe5e881aea21ca345c9b104db+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/x-javascript
status: 200
cache-control: max-age=31556926
content-length: 71431
x-amz-id-2: yLUBhAy4wxizWC+VtsGGOZ5vCsF1KrsbMDKIShZJuX1MpxkzzFtjvC2ZA0MqHyRQaiXdqvqThho=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 auth0.min.js Show response
cdn.auth0.com/js/auth0/9.5.1/ 109 KB
33 KB 147ms
60ms Script
application/javascript 13.224.199.253
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://cdn.auth0.com/js/auth0/9.5.1/auth0.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 13.224.199.253 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-13-224-199-253.fra2.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: c65499454b28db683dd0efc366872a896cef0fe2ccfd6d51d6db446dcad88fcb

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

x-amz-version-id: 38nHgGlXmejuOCEREftQ2ogm5Z01rLQ3
content-encoding: gzip
last-modified: Mon, 30 Apr 2018 13:21:04 GMT
server: AmazonS3
age: 26230
date: Tue, 14 Jan 2020 07:03:00 GMT
vary: Accept-Encoding
x-cache: Hit from cloudfront
content-type: application/javascript
status: 200
cache-control: max-age=2628000,public
x-amz-replication-status: COMPLETED
x-amz-cf-pop: FRA2-C1
x-amz-cf-id: yhOeikw-tgi6fVfXpQH-1G1vSzxWQ34R8on1ef54aBh1FV2Y-4AmkQ==
via: 1.1 f046bfa1468bb4385e357c8c9128cf51.cloudfront.net (CloudFront)

GET
H2 200 app.min.js Show response
static.mentor-cdn.com/mgc/app/generated/prod/v350/ 195 KB
60 KB 157ms
78ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/mgc/app/generated/prod/v350/app.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D69) /
Resource Hash: b2ff816cd4d72b63b8bd9234667dcac7d7600b0bead21051aec4d1168a0d7615

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Wed, 27 Nov 2019 04:00:03 GMT
server: ECS (lcy/1D69)
x-amz-request-id: 4207CE3802B7EDA5
etag: "b0ec28b612f9f3b2dce782ec1ee90c59+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 61255
x-amz-id-2: CpyZli3bTrLMdgPjALr/sMs1Ztf2RJpkverplkLNFuq9TG1cZ0J6KYqgM9qg90Yhy+PaNrY0gxE=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H/1.1 200
OK icon-eda.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 402ms
115ms Image
image/svg+xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-eda.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: eec2bfd766324c0ddaf1592f94fc11b50f8ad6dd280f8ea3b54b94caba9abcf4

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:10 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 983D0F8394EAE02F
ETag: "b93e7aca54e117281f7d59b9f2a5f540"
x-amz-version-id: uYYbubOaDiOXXDW7QCMlzP6F.GiwJke7
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2169
x-amz-id-2: v2UDfSYcBuRw8EmoVdB+ZLaC064cPzv68w6pWiRgrabW3PRLJdPhli9QbTpD3VLYC/Lyh7PuvGU=

GET
H/1.1 200
OK icon-systems.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
2 KB 422ms
119ms Image
image/svg+xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-systems.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 201da4a757f65dfccc16dff5ca4d0eb247b39c3ac5d33b2383b09521262a72f9

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:10 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 9674489A75CEA7EF
ETag: "8536348440628f5eb1aaf4eab0de1fb6"
x-amz-version-id: LiYYs_bGddH6QvYR6IYYFlwssu8iv9Dl
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 1735
x-amz-id-2: XUDclyy0xiKH4veSpSFIv4CO7fBdv8iJjyhZM9AMjiLHGNkm52VlcRuubZ0oYa5KENj5F/R7AGs=

GET
H/1.1 200
OK icon-thermal.svg
s3.amazonaws.com/images.mentor.com/home/ 5 KB
6 KB 204ms
105ms Image
image/svg+xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-thermal.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 4b000c4407772950d16a52850213c68a3c3407603a99badee1c97ce4b6b82aca

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:10 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 726FB4180B8923FD
ETag: "e9336a5622d94110daa6b0bc8d02c8f0"
x-amz-version-id: L0mVt2IbAKI6h.ch74_r3JB5JcgdMiAr
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 5517
x-amz-id-2: uGgZ2CeGLDdeeVYe8S9bmeXqMWAaXj80YZ0JsZgzGGqfwA/hVOwAAt6fvgm/8H/lfoy5knTsFqo=

GET
H/1.1 200
OK icon-automotive.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 230ms
110ms Image
image/svg+xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-automotive.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 15081a4d1fda96fe61c4194515456fcf28f5b2b28d71f736ef76c23432497d1a

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:10 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: C0AE5002A3FA17CA
ETag: "08be8e046505401c907e23f438ec27fd"
x-amz-version-id: jmNjngILP40IritV..Fm7lQyFiJP.n6Y
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2135
x-amz-id-2: +wx7WjAw5lyrQRRn51RMv7tURosA8TTjGBrJx2LtOk+8qCnOiUm+jyvM0Pe6EUuiydo2WOsPBYw=

GET
H/1.1 200
OK icon-embedded.svg
s3.amazonaws.com/images.mentor.com/home/ 2 KB
3 KB 325ms
121ms Image
image/svg+xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://s3.amazonaws.com/images.mentor.com/home/icon-embedded.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: 54a764e9ec91c1507346d2ec0f01563b29ebd43fa9a8e1c82de42401f139d6e0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:10 GMT
Last-Modified: Thu, 21 Nov 2019 20:48:47 GMT
Server: AmazonS3
x-amz-request-id: 1594974242AFD5CA
ETag: "a617a05488e73a98610ebc4d999f3d92"
x-amz-version-id: nf0YkBGExnoP5dmPCoLfbnMgtEj4D0ep
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
Accept-Ranges: bytes
Content-Type: image/svg+xml
Content-Length: 2345
x-amz-id-2: GWtFRQwCtHBvVCK+Fv2WmYqg2PoGuK12BJHVRdHEF5B9tLxe6meE1AJOt5CpPeUYgTJOrCtjok4=

GET
H2 200 Promo_graphicFinal-4B1C938F.jpg
mgc-images.imgix.net/mechanical/ 28 KB
28 KB 29ms
7ms Image
image/jpeg 2a04:4e42:1b::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/Promo_graphicFinal-4B1C938F.jpg?q=60&fit=max&w=600

Requested by

Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:1b::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

85cb9ac920e630e09cb800c559baf4ada4f7e81be0edeb76c96fc70749d69402

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
last-modified: Wed, 08 Jan 2020 06:04:03 GMT
server: imgix
age: 548166
x-cache: HIT, HIT
content-type: image/jpeg
status: 200
cache-control: public, max-age=315360000
x-imgix-id: 501729c89b22f8456210dd3e62145f0f40d7bb48
accept-ranges: bytes
access-control-allow-origin: *
content-length: 28628
x-served-by: cache-lax8650-LAX, cache-hhn4057-HHN

GET
H2 200 addthis_widget.js Show response
s7.addthis.com/js/250/ 349 KB
113 KB 123ms
46ms Script
application/javascript 23.210.248.44
Akamai Technologies

General

Check archive.org

Download Go to

Full URL

https://s7.addthis.com/js/250/addthis_widget.js

Requested by

Protocol

Security

TLS 1.3, , AES_256_GCM

Server

23.210.248.44 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),

Reverse DNS

a23-210-248-44.deploy.static.akamaitechnologies.com

Software

nginx/1.15.8 /

Resource Hash

7c20e3e201e3d7c6821e907def1257deb544eb08578c7129b96d53bbf62d34e4

Security Headers

Name	Value
Strict-Transport-Security	max-age=15724800; includeSubDomains

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

strict-transport-security: max-age=15724800; includeSubDomains
content-encoding: gzip
last-modified: Wed, 30 Oct 2019 19:35:04 GMT
server: nginx/1.15.8
etag: "5db9e5e8-57446"
vary: Accept-Encoding
x-distribution: 99
content-type: application/javascript
status: 200
cache-control: public, max-age=600
date: Tue, 14 Jan 2020 14:20:09 GMT
x-host: s7.addthis.com
content-length: 114924

GET
H2 200 script.min.js Show response
static.mentor-cdn.com/mgc/s-code/generated/prod/v17/ 77 KB
25 KB 23ms
21ms Script
application/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/mgc/s-code/generated/prod/v17/script.min.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D67) /
Resource Hash: d2836b82aff6f67da56ff0e98bce4cc27aeb38ffb16e563f85017397694e39ec

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Mon, 03 Dec 2018 22:38:13 GMT
server: ECS (lcy/1D67)
x-amz-request-id: 5BB19D4E9B6667A8
etag: "f73a62ea6d25cefa88773507f7d9fa17+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: application/javascript
status: 200
cache-control: max-age=31556926
content-length: 25424
x-amz-id-2: uwBG8LhmnLOWL8PgZN7iWtnK1ApuSnxtPo9BnaZNCeZd3qUCKp6KvO9jDIQD+6dNw9hr6xDZfrw=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 svg.js Show response
static.mentor-cdn.com/common/js/ 308 B
424 B 24ms
22ms Script
text/javascript 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/js/svg.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D65) /
Resource Hash: b2958c6ec26fd054625faa0ec4d05f8dbd55efd34884c87698ed5041e62e3276

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Thu, 06 Dec 2018 18:34:44 GMT
server: ECS (lcy/1D65)
x-amz-request-id: C0592302C17C9673
etag: "25b126bfe6b4c500878bbdf1d7103de5+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: text/javascript
status: 200
cache-control: max-age=31556926
content-length: 243
x-amz-id-2: 5S/37oAuK0fdMXZS4J6wZmsHE8dCbd46HvOpd7z2aCrZslKNriG2cJVjwYFBo09D7fU8j0/kao8=
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 gtm.js Show response
www.googletagmanager.com/ 57 KB
21 KB 19ms
19ms Script
application/javascript 2a00:1450:4001:81a::2008
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.googletagmanager.com/gtm.js?id=GTM-MB9JF3

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81a::2008 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

Google Tag Manager /

Resource Hash

a2bc42c2c6e93d87c06db711773fbc91f75b2f02ea9c6d451cab2323a3b6d09d

Security Headers

Name	Value
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: br
last-modified: Tue, 14 Jan 2020 12:00:00 GMT
server: Google Tag Manager
access-control-allow-origin: http://www.googletagmanager.com
vary: Accept-Encoding
content-type: application/javascript; charset=UTF-8
status: 200
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
cache-control: private, max-age=900
access-control-allow-credentials: true
access-control-allow-headers: Cache-Control
content-length: 21341
x-xss-protection: 0
expires: Tue, 14 Jan 2020 14:20:09 GMT

GET
H2 200 logo-white.svg
images.mentor-cdn.com/mentor-siemens-logo/ 5 KB
2 KB 34ms
22ms Image
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to Show image

Full URL: https://images.mentor-cdn.com/mentor-siemens-logo/logo-white.svg
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D47) /
Resource Hash: acb9b594e42969a5119f3c21b3185b482c0f162d765466ecd9524e422ca3863b

Request headers

Referer: https://static.mentor-cdn.com/css/mgc/generated/prod/v259/mgc_agg.css
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
last-modified: Thu, 21 Nov 2019 20:52:19 GMT
server: ECS (lcy/1D47)
x-amz-request-id: FAE0A5EAAE5E9665
etag: "8ff4fd5f70a895753aca31a477dd9a1c+gzip"
vary: Accept-Encoding
x-cache: HIT
content-type: image/svg+xml
status: 200
x-amz-meta-touched: 1574368852000
x-amz-replication-status: COMPLETED
content-length: 1880
x-amz-version-id: dTLlY5jtXr3Ho_ZtQQtdoRYpoIyIdEhH
x-amz-id-2: oSGgC58YU3E/CXWlk+y70b+wyTDhRakEBeHOuGcYJ/8vMkbfmyEaWnCZszmM5RgGmQaEvSAK9mw=

GET
DATA 200
OK truncated
/ 183 B
0 Image
image/svg+xml

General

Check archive.org

Download Go to Show image

Full URL: data:truncated
Protocol: DATA
Server: -, , ASN (),
Reverse DNS
Software: /
Resource Hash: 4b4c2d422591fffbb84b862cd39a99d7a03e7d730486add814f38ebadd5d8479

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Content-Type: image/svg+xml

GET
H2 200 conversion_async.js Show response
www.googleadservices.com/pagead/ 26 KB
10 KB 45ms
45ms Script
text/javascript 172.217.18.2
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.googleadservices.com/pagead/conversion_async.js

Requested by

Host: www.googletagmanager.com
URL: https://www.googletagmanager.com/gtm.js?id=GTM-MB9JF3

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

172.217.18.2 , United States, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

fra15s28-in-f2.1e100.net

Software

cafe /

Resource Hash

55d383508e067c7f8a200dbc4c1b0a503ac3bf3931ac391eb2bb4f3b0ce035b9

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-content-type-options: nosniff
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
content-disposition: attachment; filename="f.txt"
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 9932
x-xss-protection: 0
server: cafe
etag: 2945927031212666557
vary: Accept-Encoding
content-type: text/javascript; charset=UTF-8
cache-control: private, max-age=3600
timing-allow-origin: *
expires: Tue, 14 Jan 2020 14:20:09 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/1071447428/ 3 KB
1 KB 20ms
20ms Script
text/javascript 2a00:1450:4001:80b::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1071447428/?random=1579011609488&cv=9&fst=1579011609488&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:80b::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

cf91c445e89d7530e4d0a70d6cfa5f147867d5f18b4bac4371e11390362be4d8

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1201
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/977295719/ 3 KB
1 KB 18ms
17ms Script
text/javascript 2a00:1450:4001:80b::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/977295719/?random=1579011609496&cv=9&fst=1579011609496&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:80b::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

0a3952bcac1055eb4c7bdc016418d382b1dc45f9c49094c7d5c95fbb7c83c8c2

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1202
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/1071406762/ 3 KB
1 KB 21ms
20ms Script
text/javascript 2a00:1450:4001:80b::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1071406762/?random=1579011609497&cv=9&fst=1579011609497&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:80b::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

aebb040f78e829a087ce3404bb56c71dd7673ad3b4579ddbf7eca232db7b8c5b

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1203
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 / Show response
googleads.g.doubleclick.net/pagead/viewthroughconversion/1001776599/ 3 KB
1 KB 19ms
19ms Script
text/javascript 2a00:1450:4001:80b::2002
Google LLC

General

Check archive.org

Download Go to

Full URL

https://googleads.g.doubleclick.net/pagead/viewthroughconversion/1001776599/?random=1579011609498&cv=9&fst=1579011609498&num=1&guid=ON&resp=GooglemKTybQhCsO&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&ig=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&hn=www.googleadservices.com&async=1&rfmt=3&fmt=4

Requested by

Host: www.googleadservices.com
URL: https://www.googleadservices.com/pagead/conversion_async.js

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:80b::2002 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

cac9a60289da2fd349b65dd7ea226a062522bb59e303f2c17f619120ff725d58

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-content-type-options: nosniff
content-type: text/javascript; charset=UTF-8
server: cafe
p3p: policyref="https://googleads.g.doubleclick.net/pagead/gcn_p3p_.xml", CP="CURa ADMa DEVa TAIo PSAo PSDo OUR IND UNI PUR INT DEM STA PRE COM NAV OTC NOI DSP COR"
status: 200
cache-control: no-cache, must-revalidate
content-disposition: attachment; filename="f.txt"
timing-allow-origin: *
alt-svc: quic="googleads.g.doubleclick.net:443"; ma=2592000; v="46,43",quic=":443"; ma=2592000; v="46,43",h3-Q050="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q050=":443"; ma=2592000,h3-Q049="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043="googleads.g.doubleclick.net:443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 1201
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/977295719/ 42 B
115 B 26ms
25ms Image
image/gif 2a00:1450:4001:81e::2004
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/977295719/?random=1579011609496&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=3193438016&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81e::2004 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/977295719/ 42 B
110 B 23ms
23ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/977295719/?random=1579011609496&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=3193438016&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/1071447428/ 42 B
115 B 26ms
24ms Image
image/gif 2a00:1450:4001:81e::2004
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/1071447428/?random=1579011609488&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2268515137&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81e::2004 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/1071447428/ 42 B
110 B 25ms
24ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1071447428/?random=1579011609488&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2268515137&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/1071406762/ 42 B
115 B 29ms
29ms Image
image/gif 2a00:1450:4001:81e::2004
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/1071406762/?random=1579011609497&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2632881742&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81e::2004 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/1071406762/ 42 B
110 B 27ms
27ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1071406762/?random=1579011609497&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=2632881742&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.com/pagead/1p-user-list/1001776599/ 42 B
115 B 23ms
23ms Image
image/gif 2a00:1450:4001:81e::2004
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.com/pagead/1p-user-list/1001776599/?random=1579011609498&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=4136267120&resp=GooglemKTybQhCsO&rmt_tld=0&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:81e::2004 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H2 200 /
www.google.de/pagead/1p-user-list/1001776599/ 42 B
110 B 22ms
22ms Image
image/gif 2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/pagead/1p-user-list/1001776599/?random=1579011609498&cv=9&fst=1579010400000&num=1&guid=ON&u_h=1200&u_w=1600&u_ah=1200&u_aw=1600&u_cd=24&u_his=2&u_tz=60&u_java=false&u_nplug=0&u_nmime=0&gtm=2wg121&sendb=1&frm=0&url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&tiba=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&async=1&fmt=3&is_vtc=1&random=4136267120&resp=GooglemKTybQhCsO&rmt_tld=1&ipr=y

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
Content-Security-Policy	script-src 'none'; object-src 'none'
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
content-security-policy: script-src 'none'; object-src 'none'
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H/1.1 200
OK moatframe.js Show response
z.moatads.com/addthismoatframe568911941483/ 2 KB
1 KB 117ms
35ms Script
application/x-javascript 23.210.250.213
Akamai Technologies

General

Check archive.org

Download Go to

Full URL: https://z.moatads.com/addthismoatframe568911941483/moatframe.js
Requested by: Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol: HTTP/1.1
Security: TLS 1.3, , AES_256_GCM
Server: 23.210.250.213 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),
Reverse DNS: a23-210-250-213.deploy.static.akamaitechnologies.com
Software: AmazonS3 /
Resource Hash: 05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:09 GMT
Content-Encoding: gzip
Last-Modified: Fri, 08 Nov 2019 20:13:52 GMT
Server: AmazonS3
x-amz-request-id: D5503D14AA2F06AA
ETag: "f14b4e1f799b14f798a195f43cf58376"
Vary: Accept-Encoding
Content-Type: application/x-javascript
Cache-Control: max-age=18140
Connection: keep-alive
Accept-Ranges: bytes
Content-Length: 948
x-amz-id-2: JgalEtxvSAtZmM7+naGfrhsdf0JFS0gJW8lypWF8Tp90EkcPp4c3eAnpK+RDOIL1ltWgpx8wc3s=

GET
H2 200 Promo_graphicFinalVivado01-9D112417.png
mgc-images.imgix.net/mechanical/ 190 KB
190 KB 19ms
19ms Image
image/png 2a04:4e42:1b::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/Promo_graphicFinalVivado01-9D112417.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:1b::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

e754bd3ef17b65a19eaf311a40dcc262f92c51d29015617f75a0ce6996db5e87

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
last-modified: Sat, 28 Dec 2019 12:20:23 GMT
server: imgix
age: 1475985
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: b2829b63c7d572edf843524bdee959671dac0be9
accept-ranges: bytes
access-control-allow-origin: *
content-length: 194606
x-served-by: cache-lax8642-LAX, cache-hhn4057-HHN

GET
H2 200 carscomps-641AB9B8.png
mgc-images.imgix.net/mechanical/ 128 KB
128 KB 8ms
7ms Image
image/png 2a04:4e42:1b::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/mechanical/carscomps-641AB9B8.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:1b::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

323730d82dd0751be9eeda81cbb6d1e6afabf9460915c5d080f3a16f2618134c

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
last-modified: Sun, 05 Jan 2020 09:18:31 GMT
server: imgix
age: 795698
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: 1c636faf004b4b19bb636955f36941a9b869268e
accept-ranges: bytes
access-control-allow-origin: *
content-length: 131004
x-served-by: cache-lax8632-LAX, cache-hhn4057-HHN

GET
H2 200 hlsciscortlpoweroptimizationwebinarthumbnail-292AB769.png
mgc-images.imgix.net/hls-lp/ 77 KB
77 KB 18ms
18ms Image
image/png 2a04:4e42:1b::720
Fastly

General

Check archive.org

Download Go to Show image

Full URL

https://mgc-images.imgix.net/hls-lp/hlsciscortlpoweroptimizationwebinarthumbnail-292AB769.png?q=60&fit=max&w=600

Requested by

Protocol

Security

TLS 1.2, ECDHE_RSA, AES_128_GCM

Server

2a04:4e42:1b::720 , Ascension Island, ASN54113 (FASTLY - Fastly, US),

Reverse DNS

Software

imgix /

Resource Hash

08c0fd6234ca4567c5f96ee0b1eade4d828b7e38765a79fd3e06910e9f578b59

Security Headers

Name	Value
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
last-modified: Mon, 30 Dec 2019 14:15:29 GMT
server: imgix
age: 1296280
x-cache: HIT, HIT
content-type: image/png
status: 200
cache-control: public, max-age=315360000
x-imgix-id: 27a2996845796bbc3da602d38468c0c5adedc82f
accept-ranges: bytes
access-control-allow-origin: *
content-length: 78543
x-served-by: cache-lax8648-LAX, cache-hhn4057-HHN

GET
H2 200 s48122479813802
strack.mentor.com/b/ss/mentorcom2/1/JS-1.3.2/ 43 B
394 B 117ms
30ms Image
image/gif 15.188.31.119
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL

https://strack.mentor.com/b/ss/mentorcom2/1/JS-1.3.2/s48122479813802?AQB=1&ndh=1&t=14%2F0%2F2020%2015%3A20%3A9%202%20-60&vid=1579011608946522420AA662D97F39378820F0C4CD99F09AC55B58E9B0BB8FECF94FBAC6B74CA&fid=2FE4330D05A7883A-19601B49F20757BB&ce=UTF-8&ns=mentorgraphics&pageName=HLS%20and%20LP%3AHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%3ARenesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking&g=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_ren&cc=USD&-g=esas_fomal_checking_wp&ch=products%3Ahls%20and%20lp&c1=HLS%20and%20LP&v1=D%3Dc1&h1=HLS%20and%20LP%2CHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%2CARM%20Case%20Study%2COverview&c5=Account&v5=D%3Dc5&c9=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&v9=D%3Dc9&c10=HLSandLP&v10=D%3Dc10&c12=9491772&v12=D%3Dc12&c13=Ad%20hoc&v13=D%3Dc13&c24=400%20ms%20-%201%20sec&v24=D%3Dc24&c25=false&v25=D%3Dc25&c34=D%3Dv0&v34=D%3Dv0&c38=mentor&v38=D%3Dc38&c41=en&v41=D%3Dc41&s=1600x1200&c=24&j=1.6&v=N&k=Y&bw=1600&bh=1200&AQE=1

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

15.188.31.119 Paris, France, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),

Reverse DNS

ec2-15-188-31-119.eu-west-3.compute.amazonaws.com

Software

jag /

Resource Hash

a1ecbaed793a1f564c49c671f2dd0ce36f858534ef6d26b55783a06b884cc506

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	1; mode=block

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
x-c: master-1061.Iecc33a.M0-311
p3p: CP="This is not a P3P policy"
status: 200
content-length: 43
x-xss-protection: 1; mode=block
pragma: no-cache
last-modified: Wed, 15 Jan 2020 14:20:09 GMT
server: jag
xserver: anedge-5fc496b8d4-2f5lp
etag: 3390901610414964736-4616939142635289964
vary: *
content-type: image/gif;charset=utf-8
access-control-allow-origin: *
cache-control: no-cache, no-store, max-age=0, no-transform, private
expires: Mon, 13 Jan 2020 14:20:09 GMT

GET
H2 200 analytics.js Show response
www.google-analytics.com/ 43 KB
17 KB 7ms
5ms Script
text/javascript 2a00:1450:4001:816::200e
Google LLC

General

Check archive.org

Download Go to

Full URL

https://www.google-analytics.com/analytics.js

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:816::200e Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

Golfe2 /

Resource Hash

dbb67c620eaabf6679a314db18d3ae43037aef71ab27422e6feec08ee987cc0a

Security Headers

Name	Value
Strict-Transport-Security	max-age=10886400; includeSubDomains; preload
X-Content-Type-Options	nosniff

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

strict-transport-security: max-age=10886400; includeSubDomains; preload
content-encoding: gzip
x-content-type-options: nosniff
last-modified: Mon, 19 Aug 2019 17:22:41 GMT
server: Golfe2
age: 2515
date: Tue, 14 Jan 2020 13:38:14 GMT
vary: Accept-Encoding
content-type: text/javascript
status: 200
cache-control: public, max-age=7200
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 17803
expires: Tue, 14 Jan 2020 15:38:14 GMT

GET
H/1.1 200
OK atrk.js Show response
d31qbv1cthcecs.cloudfront.net/ 4 KB
2 KB 162ms
39ms Script
text/javascript 13.224.196.80
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://d31qbv1cthcecs.cloudfront.net/atrk.js
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 13.224.196.80 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-13-224-196-80.fra2.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: 90451ba3e82cd9db02f0ca76bd45d0ab5ef7e90a49da4215903cb7f08471e2e7

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Thu, 24 Oct 2019 21:15:41 GMT
Content-Encoding: gzip
Last-Modified: Sat, 16 Mar 2019 16:01:33 GMT
Server: AmazonS3
Age: 7059869
Vary: Accept-Encoding
X-Cache: Hit from cloudfront
Content-Type: text/javascript
Via: 1.1 29051585a13addd312c8ac9d527433c6.cloudfront.net (CloudFront)
Cache-Control: max-age=26920000
Transfer-Encoding: chunked
X-Amz-Cf-Pop: FRA2-C1
Connection: keep-alive
X-Amz-Cf-Id: qh58WXIxM-Olxx7J62fO5yhmAPMyPSRuSYfVWxlKfsIRG-KMMBq8jg==

GET
H2 200 icons.svg Show response
static.mentor-cdn.com/common/icons/ 543 KB
129 KB 94ms
23ms XHR
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/icons/icons.svg?20181206
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D29) /
Resource Hash: b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-amz-request-id: EF681C9132D8CE1F
x-cache: HIT
status: 200
content-length: 131598
x-amz-id-2: 6WA4YcAaPI6+78wjJj9agP7G4gYDGd7m/qUhKOYu4UiWA5p9upZDs30erCG+EkF4RceZxK/aYYM=
last-modified: Fri, 28 Dec 2018 21:00:32 GMT
server: ECS (lcy/1D29)
etag: "8ad6f56c6870b4c3dc1d13f6ac5153b0+gzip"
vary: Accept-Encoding
access-control-allow-methods: GET
content-type: image/svg+xml
access-control-allow-origin: *
cache-control: max-age=31556926
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H2 200 icons.svg Show response
static.mentor-cdn.com/common/icons/ 543 KB
129 KB 149ms
78ms XHR
image/svg+xml 68.232.35.117
MCI Communication...

General

Check archive.org

Download Go to

Full URL: https://static.mentor-cdn.com/common/icons/icons.svg?20181206
Requested by: Host: static.mentor-cdn.com
URL: https://static.mentor-cdn.com/common/js/svg.js
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 68.232.35.117 , United States, ASN15133 (EDGECAST - MCI Communications Services, Inc. d/b/a Verizon Business, US),
Reverse DNS
Software: ECS (lcy/1D29) /
Resource Hash: b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a

Request headers

User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
content-encoding: gzip
x-amz-request-id: EF681C9132D8CE1F
x-cache: HIT
status: 200
content-length: 131598
x-amz-id-2: 6WA4YcAaPI6+78wjJj9agP7G4gYDGd7m/qUhKOYu4UiWA5p9upZDs30erCG+EkF4RceZxK/aYYM=
last-modified: Fri, 28 Dec 2018 21:00:32 GMT
server: ECS (lcy/1D29)
etag: "8ad6f56c6870b4c3dc1d13f6ac5153b0+gzip"
vary: Accept-Encoding
access-control-allow-methods: GET
content-type: image/svg+xml
access-control-allow-origin: *
cache-control: max-age=31556926
expires: Wed, 13 Jan 2021 20:08:55 GMT

GET
H/1.1 403
Forbidden designarea-GENERAL_yes.txt Show response
s3.amazonaws.com/s3.mentor.com/ema-chat/ 243 B
725 B 491ms
187ms XHR
application/xml 52.216.102.141
Amazon.com

General

Check archive.org

Download Go to

Full URL: https://s3.amazonaws.com/s3.mentor.com/ema-chat/designarea-GENERAL_yes.txt
Requested by: Host: static.mentor-cdn.com
URL: https://static.mentor-cdn.com/common/lib/jquery/1.12.4/jquery.min.js
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 52.216.102.141 Ashburn, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: s3-1.amazonaws.com
Software: AmazonS3 /
Resource Hash: cab76cfc6cab14624b51c6392634b192d921a38e818f3d4dfc3e78e6bd03ebd5

Request headers

Accept: */*
Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Origin: https://www.mentor.com
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 14:20:09 GMT
Server: AmazonS3
x-amz-request-id: C446C7FEF508E78E
Vary: Origin, Access-Control-Request-Headers, Access-Control-Request-Method
Access-Control-Allow-Methods: GET
Content-Type: application/xml
Access-Control-Allow-Origin: https://www.mentor.com
Transfer-Encoding: chunked
Access-Control-Allow-Credentials: true
x-amz-id-2: afpX6bN9hWgz6C3Fzx7i49nkLgwNuBUBcdy4MZhLzVNk5TpEatmfxRSlDMBc1xaRJwKUBVjm+88=

GET
H2 200 _ate.track.config_resp Show response
v1.addthisedge.com/live/boost/mentorwst/ 27 B
223 B 92ms
91ms Script
application/javascript 23.210.248.44
Akamai Technologies

General

Check archive.org

Download Go to

Full URL: https://v1.addthisedge.com/live/boost/mentorwst/_ate.track.config_resp
Requested by: Host: s7.addthis.com
URL: https://s7.addthis.com/js/250/addthis_widget.js
Protocol: H2
Security: TLS 1.3, , AES_256_GCM
Server: 23.210.248.44 , Netherlands, ASN16625 (AKAMAI-AS - Akamai Technologies, Inc., US),
Reverse DNS: a23-210-248-44.deploy.static.akamaitechnologies.com
Software: Jetty(9.4.8.v20180619) /
Resource Hash: 19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

date: Tue, 14 Jan 2020 14:20:09 GMT
surrogate-key: mentorwst
server: Jetty(9.4.8.v20180619)
cache-tag: mentorwst
status: 200
cache-control: public, max-age=12, s-maxage=86400
content-disposition: attachment; filename=1.txt
content-type: application/javascript;charset=utf-8
content-length: 27

GET
H2

200

ga-audiences
www.google.de/ads/
Redirect Chain

https://www.google-analytics.com/r/collect?v=1&_v=j79&a=863967412&t=pageview&_s=1&dl=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges...
https://stats.g.doubleclick.net/r/collect?v=1&aip=1&t=dc&_r=3&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_gid=453593606.1579011610&gjid=1448728441&_v=j79&z=1189920815
https://www.google.com/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815
https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815&slf_rd=1&random=2359853802

42 B
109 B

18ms
18ms

Image
image/gif

2a00:1450:4001:825::2003
Google LLC

General

Check archive.org

Download Go to Show image

Full URL

https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815&slf_rd=1&random=2359853802

Requested by

Protocol

Security

TLS 1.3, , AES_128_GCM

Server

2a00:1450:4001:825::2003 Frankfurt am Main, Germany, ASN15169 (GOOGLE - Google LLC, US),

Reverse DNS

Software

cafe /

Resource Hash

ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

Security Headers

Name	Value
X-Content-Type-Options	nosniff
X-Xss-Protection	0

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
content-type: image/gif
server: cafe
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 200
cache-control: no-cache, no-store, must-revalidate
timing-allow-origin: *
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 42
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

Redirect headers

pragma: no-cache
date: Tue, 14 Jan 2020 14:20:09 GMT
x-content-type-options: nosniff
server: cafe
timing-allow-origin: *
location: https://www.google.de/ads/ga-audiences?v=1&aip=1&t=sr&_r=4&tid=UA-7441435-1&cid=1920677548.1579011610&jid=1501670634&_v=j79&z=1189920815&slf_rd=1&random=2359853802
p3p: policyref="https://www.googleadservices.com/pagead/p3p.xml", CP="NOI DEV PSA PSD IVA IVD OTP OUR OTR IND OTC"
status: 302
cache-control: no-cache, no-store, must-revalidate
content-type: text/html; charset=UTF-8
alt-svc: quic=":443"; ma=2592000; v="46,43",h3-Q050=":443"; ma=2592000,h3-Q049=":443"; ma=2592000,h3-Q048=":443"; ma=2592000,h3-Q046=":443"; ma=2592000,h3-Q043=":443"; ma=2592000
content-length: 0
x-xss-protection: 0
expires: Fri, 01 Jan 1990 00:00:00 GMT

GET
H/1.1 200
OK atrk.gif
certify.alexametrics.com/ 43 B
550 B 163ms
39ms Image
image/gif 13.224.196.39
Amazon.com

General

Check archive.org

Download Go to Show image

Full URL: https://certify.alexametrics.com/atrk.gif?frame_height=1200&frame_width=1600&iframe=0&title=Renesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking%20-%20Mentor%20Graphics&time=1579011609786&time_zone_offset=-60&screen_params=1600x1200x24&java_enabled=0&cookie_enabled=1&ref_url=&host_url=https%3A%2F%2Fwww.mentor.com%2Fhls-lp%2Fresources%2Foverview%2Frenesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94%3Fuuid%3D75c692df-b103-42c3-a5d8-5b5f9e6b0f94%26clp%3D1%26contactid%3D1%26PC%3DL%26c%3D2020_01_14_hls_renesas_fomal_checking_wp&random_number=3366922342&sess_cookie=5b96443c16fa46d14b92f2f02fb&sess_cookie_flag=1&user_cookie=5b96443c16fa46d14b92f2f02fb&user_cookie_flag=1&dynamic=true&domain=mentor.com&account=Zo/El1agWBr1N8&jsv=20130128&user_lang=en-US
Requested by: Host: www.mentor.com
URL: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
Protocol: HTTP/1.1
Security: TLS 1.2, ECDHE_RSA, AES_128_GCM
Server: 13.224.196.39 Seattle, United States, ASN16509 (AMAZON-02 - Amazon.com, Inc., US),
Reverse DNS: server-13-224-196-39.fra2.r.cloudfront.net
Software: AmazonS3 /
Resource Hash: 89fe0ee6020314794fc2cfeacf3d10c31050cfe56f8ebddf1ed0a33fbe941fa7

Request headers

Referer: https://www.mentor.com/hls-lp/resources/overview/renesas-solves-high-level-verification-challenges-using-formal-equivalence-checking-75c692df-b103-42c3-a5d8-5b5f9e6b0f94?uuid=75c692df-b103-42c3-a5d8-5b5f9e6b0f94&clp=1&contactid=1&PC=L&c=2020_01_14_hls_renesas_fomal_checking_wp
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/79.0.3945.88 Safari/537.36

Response headers

Date: Tue, 14 Jan 2020 11:44:48 GMT
Via: 1.1 59d92388a3a66e5f245f384a437fa025.cloudfront.net (CloudFront)
x-amz-meta-alexa-last-modified: 20110117123941
Last-Modified: Mon, 17 Jan 2011 20:41:40 GMT
Server: AmazonS3
Age: 9322
ETag: "221d8352905f2c38b3cb2bd191d630b0"
X-Cache: Hit from cloudfront
Content-Type: image/gif
X-Amz-Cf-Pop: FRA2-C1
Connection: keep-alive
Accept-Ranges: bytes
Content-Length: 43
X-Amz-Cf-Id: i64kZr7GPDFQocqD9iZvYT1RUSMfpyQcRlInGAS9JJ3s10aaCaj2Wg==

Verdicts & Comments Add Verdict or Comment

351 JavaScript Global Variables

These are the non-standard "global" variables defined on the window object. These can be helpful in identifying possible client-side frameworks and code.

12 Cookies

Cookies are little pieces of information stored in the browser of a user. Whenever a user visits the site again, he will also send his cookie values, thus allowing the website to re-identify him even if he changed locations. This is how permanent logins work.

Domain/Path	Expires	Name / Value
.mentor.com/	1969-12-31 23:59:59	Name: s_ppv Value: HLS%2520and%2520LP%253AHigh-Level%2520Synthesis%2520and%2520RTL%2520Low-Power%2520Resource%2520Center%253ARenesas%2520Solves%2520High-Level%2520Verification%2520Challenges%2520Using%2520Formal%2520Equivalence%2520Checking%2C76%2C76%2C1200%2C1600%2C1200%2C1600%2C1200%2C1%2CP
.mentor.com/	1970-01-19 15:23:54	Name: __auc Value: 5b96443c16fa46d14b92f2f02fb
.mentor.com/	1970-01-19 06:36:53	Name: __asc Value: 5b96443c16fa46d14b92f2f02fb
.mentor.com/	1969-12-31 23:59:59	Name: s_ppvl Value: HLS%2520and%2520LP%253AHigh-Level%2520Synthesis%2520and%2520RTL%2520Low-Power%2520Resource%2520Center%253ARenesas%2520Solves%2520High-Level%2520Verification%2520Challenges%2520Using%2520Formal%2520Equivalence%2520Checking%2C76%2C76%2C1200%2C1600%2C1200%2C1600%2C1200%2C1%2CP
.mentor.com/	1969-12-31 23:59:59	Name: s_cc Value: true
.mentor.com/	1970-01-20 00:08:03	Name: _ga Value: GA1.2.1920677548.1579011610
.mentor.com/	1970-01-19 06:36:51	Name: _gat Value: 1
www.mentor.com/	1970-01-19 06:36:53	Name: __atuvs Value: 5e1dce197c3b9eb3000
.mentor.com/	1970-01-21 02:27:44	Name: s_fid Value: 2FE4330D05A7883A-19601B49F20757BB
.mentor.com/	1970-01-19 06:36:53	Name: gpv_pn Value: HLS%20and%20LP%3AHigh-Level%20Synthesis%20and%20RTL%20Low-Power%20Resource%20Center%3ARenesas%20Solves%20High-Level%20Verification%20Challenges%20Using%20Formal%20Equivalence%20Checking
www.mentor.com/	1970-01-19 16:08:32	Name: __atuvc Value: 1%7C3
.mentor.com/	1970-01-19 06:38:18	Name: _gid Value: GA1.2.453593606.1579011610

1 Console Messages

A page may trigger messages to the console to be logged. These are often error messages about being unable to load a resource or execute a piece of JavaScript. Sometimes they also provide insight into the technology behind a website.

Source	Level	URL Text
console-api	log	URL: https://static.mentor-cdn.com/common/lib/jquery/jquery-migrate-1.4.1.min.js(Line 2) Message: JQMIGRATE: Migrate is installed, version 1.4.1

Security Headers

This page lists any security headers set by the main page. If you want to understand what these mean and how to use them, head on over to this page

Header	Value
Strict-Transport-Security	max-age=15552000; includeSubdomains;
X-Content-Type-Options	nosniff
X-Frame-Options	SAMEORIGIN
X-Xss-Protection	1; mode=block

Indicators

This is a term in the security industry to describe indicators such as IPs, Domains, Hashes, etc. This does not imply that any of these indicate malicious activity.

accounts.mentor.com
cdn.auth0.com
certify.alexametrics.com
content.jwplatform.com
d31qbv1cthcecs.cloudfront.net
googleads.g.doubleclick.net
images.mentor-cdn.com
lyris.mentor-info.com
mgc-images.imgix.net
s3.amazonaws.com
s7.addthis.com
static.mentor-cdn.com
stats.g.doubleclick.net
strack.mentor.com
v1.addthisedge.com
www.google-analytics.com
www.google.com
www.google.de
www.googleadservices.com
www.googletagmanager.com
www.mentor.com
z.moatads.com
13.224.196.39
13.224.196.80
13.224.199.253
143.204.101.50
15.188.31.119
172.217.18.2
192.94.39.222
23.210.248.44
23.210.250.213
2600:9000:2156:4600:1:a3fa:7cc0:93a1
2a00:1450:4001:80b::2002
2a00:1450:4001:816::200e
2a00:1450:4001:81a::2008
2a00:1450:4001:81e::2004
2a00:1450:4001:825::2003
2a00:1450:400c:c0c::9d
2a04:4e42:1b::720
34.232.24.156
52.216.102.141
68.232.35.117
05090f9390f5bc0cd23fe5f432037cc92d7cbce1ced9bfe8faf3d1c9abae85cd
08c0fd6234ca4567c5f96ee0b1eade4d828b7e38765a79fd3e06910e9f578b59
0a3952bcac1055eb4c7bdc016418d382b1dc45f9c49094c7d5c95fbb7c83c8c2
15081a4d1fda96fe61c4194515456fcf28f5b2b28d71f736ef76c23432497d1a
19a26d6046c4fcfe9e3efbc1fb7532f424c6b0b7590b9e193788e30bce8b9836
201da4a757f65dfccc16dff5ca4d0eb247b39c3ac5d33b2383b09521262a72f9
323730d82dd0751be9eeda81cbb6d1e6afabf9460915c5d080f3a16f2618134c
44b82208e053cd6632cff163df087dad20b496b26d781007c071f4ade41407c8
471d4f73840828803fc2e0100739b5f47c3e6921aa0753548d87410f0ebc8dfa
48eb8b500ae6a38617b5738d2b3faec481922a7782246e31d2755c034a45cd5d
4b000c4407772950d16a52850213c68a3c3407603a99badee1c97ce4b6b82aca
4b4c2d422591fffbb84b862cd39a99d7a03e7d730486add814f38ebadd5d8479
53099d37a1a4a53ad5a76e2c5e32f43e5150aa06490822a70f1dc60eec97ecd0
54a764e9ec91c1507346d2ec0f01563b29ebd43fa9a8e1c82de42401f139d6e0
55d383508e067c7f8a200dbc4c1b0a503ac3bf3931ac391eb2bb4f3b0ce035b9
5bd02d05c9b4772b65341e7609810a670d6fad2c1aa6a869b4ca52e64029a4e3
5e85f43abc192fe9991e320aebf5fb5d346d62abba3cf1b50072286d0de7f5a3
668b046d12db350ccba6728890476b3efee53b2f42dbb84743e5e9f1ae0cc404
7c20e3e201e3d7c6821e907def1257deb544eb08578c7129b96d53bbf62d34e4
85cb9ac920e630e09cb800c559baf4ada4f7e81be0edeb76c96fc70749d69402
89fe0ee6020314794fc2cfeacf3d10c31050cfe56f8ebddf1ed0a33fbe941fa7
90451ba3e82cd9db02f0ca76bd45d0ab5ef7e90a49da4215903cb7f08471e2e7
a1ecbaed793a1f564c49c671f2dd0ce36f858534ef6d26b55783a06b884cc506
a2bc42c2c6e93d87c06db711773fbc91f75b2f02ea9c6d451cab2323a3b6d09d
a95dfa0cf5042773383b92f5a45bf5294bfc88fe7907929529e33e6640386647
acb9b594e42969a5119f3c21b3185b482c0f162d765466ecd9524e422ca3863b
aeb6ff8462f652f3f08f367249c3ef67eee144941344608e7fe010397c60d0c8
aebb040f78e829a087ce3404bb56c71dd7673ad3b4579ddbf7eca232db7b8c5b
b2958c6ec26fd054625faa0ec4d05f8dbd55efd34884c87698ed5041e62e3276
b2ff816cd4d72b63b8bd9234667dcac7d7600b0bead21051aec4d1168a0d7615
b81b8337c59497a68775aab8deb165b6954059b490f6c5b69394ae766968222a
c65499454b28db683dd0efc366872a896cef0fe2ccfd6d51d6db446dcad88fcb
cab76cfc6cab14624b51c6392634b192d921a38e818f3d4dfc3e78e6bd03ebd5
cac9a60289da2fd349b65dd7ea226a062522bb59e303f2c17f619120ff725d58
cf91c445e89d7530e4d0a70d6cfa5f147867d5f18b4bac4371e11390362be4d8
d2836b82aff6f67da56ff0e98bce4cc27aeb38ffb16e563f85017397694e39ec
dbb67c620eaabf6679a314db18d3ae43037aef71ab27422e6feec08ee987cc0a
e754bd3ef17b65a19eaf311a40dcc262f92c51d29015617f75a0ce6996db5e87
eec2bfd766324c0ddaf1592f94fc11b50f8ad6dd280f8ea3b54b94caba9abcf4
ef1955ae757c8b966c83248350331bd3a30f658ced11f387f8ebf05ab3368629

www.mentor.com Open in urlscan Pro 143.204.101.50 Public Scan

Summary

urlscan.io Verdict: No classification

Domain & IP information

Screenshot Live screenshot Full Image

Page URL History Show full URLs

Detected technologies

Page Statistics

48 Requests

100 %HTTPS

40 %IPv6

18 Domains

22 Subdomains

18 IPs

6 Countries

1250 kBTransfer

3397 kBSize

12 Cookies

7 Outgoing links

Page URL History

Redirected requests

48 HTTP transactions Everything HTML Script AJAX CSS Image Expand all 1 data transactions

Request headers

Response headers

Redirect headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

Response headers

Request headers

www.mentor.com Open in urlscan Pro
143.204.101.50 Public Scan

Screenshot
Live screenshot

Full Image

48
Requests

100 %
HTTPS

40 %
IPv6

18
Domains

22
Subdomains

18
IPs

6
Countries

1250 kB
Transfer

3397 kB
Size

12
Cookies

48 HTTP transactions
1 data transactions